s.getPrev().operator().isThrow() ||
  public final void appendInstructionRespectingTerminalBranchOrPEI(OPT_Instruction i) {    OPT_Instruction s = end;    while (s.getPrev().operator().isBranch() ||            (s.getPrev().isPEI() &&             getApplicableExceptionalOut(s.getPrev()).hasMoreElements())) {      s = s.getPrev();    }    s.insertBefore(i);  }