return Athrow.conforms(s);
if (s.operator == ADVISE_ESP) { s = s.getPrev(); }   if (Athrow.conforms(s)) return true; else if (MIR_Call.conforms(s)) { OPT_MethodOperand mop = MIR_Call.getMethod(s); if (mop != null) { if (mop.method == VM_Entrypoints.athrowMethod) { return true; } } } else if (Call.conforms(s)) { OPT_MethodOperand mop = Call.getMethod(s); if (mop != null) { if (mop.method == VM_Entrypoints.athrowMethod) { return true; } } } return false;
  public final boolean hasAthrowInst() {    if (isEmpty()) return false;    OPT_Instruction s = lastRealInstruction();    return Athrow.conforms(s);  }