WIP: Improved loop control jump target finding

Still broken for some cases:

  FOO: while(1){while(1){next FOO}}

will point at the inner loop because for some reason when entering the
inner loop during ASTification, the visitor still has the last_nextstate
attribute set to the nextstate before the outer loop.