public static boolean helpMemoizeTestIsaP(Stella_Object member, Surrogate type) {
    { Object old$ReversepolarityP$000 = Logic.$REVERSEPOLARITYp$.get();
      Object old$Context$000 = Stella.$CONTEXT$.get();

      try {
        Native.setBooleanSpecial(Logic.$REVERSEPOLARITYp$, false);
        Native.setSpecial(Stella.$CONTEXT$, Logic.getPropertyTestContext());
        { boolean foundP000 = false;

          { Proposition prop = null;
            Iterator iter000 = Logic.allTrueDependentIsaPropositions(member);

            loop000 : while (iter000.nextP()) {
              prop = ((Proposition)(iter000.value));
              if (Logic.relationrefSpecializesRelationrefP(((Surrogate)(prop.operator)), type)) {
                foundP000 = true;
                break loop000;
              }
            }
          }
          { boolean value000 = foundP000;

            return (value000);
          }
        }

      } finally {
        Stella.$CONTEXT$.set(old$Context$000);
        Logic.$REVERSEPOLARITYp$.set(old$ReversepolarityP$000);
      }
    }
  }