public override void visit(Jump node)
 {
     nextNode = node.getJumpToNode();
 }