public static boolean unifyPropositionsP(Proposition self, Proposition other, KeyValueMap mapping) {
    { Object old$UnifyPropositionsP$000 = Logic.$UNIFY_PROPOSITIONSp$.get();

      try {
        Native.setBooleanSpecial(Logic.$UNIFY_PROPOSITIONSp$, true);
        return (Proposition.equivalentPropositionsP(self, other, mapping));

      } finally {
        Logic.$UNIFY_PROPOSITIONSp$.set(old$UnifyPropositionsP$000);
      }
    }
  }