@Override
  protected void merge(final int insn, final Subroutine subroutine) {
    if (!wasQueued[insn]) {
      wasQueued[insn] = true;
      if (!queued[insn]) {
        queued[insn] = true;
        queue[top++] = insn;
      }
    }
  }
@Override
  protected void merge(final int insn, final Subroutine subroutine)