Actually I can think of a simple way to visualize that. The debugger actually displays what I call a folded lattice, meaning that execution starts at the top a

Actually I can think of a simple way to visualize that. The debugger actually displays what I call a folded lattice, meaning that execution starts at the top and goes down, so representing what your talking about would simply look like ">" with lines. It would need some representation of data flow, however, which it currently doesn't have.