@Override
 public void accept(ControlFlowInstructionVisitor visitor, int offset, int nextOffset) {
   visitor.visitWriteVariableInstruction(this, offset, nextOffset);
 }
 public void accept(ControlFlowInstructionVisitor visitor, int offset, int nextOffset) {
   visitor.visitConditionalBranchingInstruction(this, offset, nextOffset);
 }