@Override
      public void visitConditionalBranchingInstruction(ConditionalBranchingInstruction instruction, int offset, int nextOffset) {
        int newOffset = instruction.offset;

        walkThroughStack.push(offset, newOffset);
        walkThroughStack.push(offset, offset + 1);
        walkThroughStack.push(newOffset);
        walkThroughStack.push(offset + 1);
      }
@Override
      public void visitConditionalBranchingInstruction(ConditionalBranchingInstruction instruction, int offset, int nextOffset)