@Override
      public void visitInstruction(Instruction instruction, int offset, int nextOffset) {
        int newOffset = offset + 1;
        walkThroughStack.push(offset, newOffset);
        walkThroughStack.push(newOffset);
      }
@Override
      public void visitInstruction(Instruction instruction, int offset, int nextOffset)