public static Proposition findDuplicateFunctionProposition(Proposition proposition) {
    if (((Boolean)(Logic.$LOADINGREGENERABLEOBJECTSp$.get())).booleanValue() ||
        (!Stella_Object.isaP(proposition.operator, Logic.SGT_STELLA_SURROGATE))) {
      return (null);
    }
    else {
      return (Proposition.findDuplicateProposition(proposition));
    }
  }