@Override
    public void visitInstruction(Instruction instruction, int offset, int nextOffset) {
      if (nextOffset > size()) nextOffset = size();
      addArc(offset, nextOffset);
    }
@Override
    public void visitInstruction(Instruction instruction, int offset, int nextOffset)