> With goto in your language that guarantee is gone: you might have to understand the entire rest of the program in order to figure out any one function.

The same is true, to a greater degree, for function calls.

In eg. C goto:s are function scope.