leaveScope
The counter-part of enterScope. Language frontends need to call this function, when the scope of the currently processed AST node ends. There MUST have been a corresponding enterScope call with the same nodeToLeave, otherwise the scope-tree might be corrupted.
Return
the scope that was just left
Parameters
nodeToLeave
the AST node