public void visitBranchingInstruction(BranchingInstruction instruction, int offset, int nextOffset) {
    visitInstruction(instruction, offset, nextOffset);
  }
public void visitBranchingInstruction(BranchingInstruction instruction, int offset, int nextOffset)