How about a simple solution to this problem. Connector symbols (what used to be a circle symbol on flow charts).
For the "goto xyz" syntax would be an arrow pointing to a circle with 'xyz' as the text of the circle (no arrow leaving the circle). Then wherever the "label xyz" syntax is is a circle with a an arrow out to the current line (between the previous and next actions).
Very simple and probably easy to implement. There could be only one "label xyz" but many "goto xyz" in a given diagram. There is no complicated routing of lines.
This is just a serving suggestion :-) as I could also use this feature.
-Bobdirt
