return Return.conforms(lastRealInstruction());
return Return.conforms(lastRealInstruction()) || MIR_Return.conforms(lastRealInstruction());
  public final boolean hasReturn() {    if (isEmpty()) return false;    return Return.conforms(lastRealInstruction());  }