public static Keyword trySimpleContainedByProof(Stella_Object subcollection, Stella_Object supercollection, boolean reversepolarityP) {
    { Object old$ReversepolarityP$000 = Logic.$REVERSEPOLARITYp$.get();

      try {
        Native.setBooleanSpecial(Logic.$REVERSEPOLARITYp$, false);
        { List members = Logic.assertedCollectionMembers(subcollection, false);

          Native.setBooleanSpecial(Logic.$REVERSEPOLARITYp$, reversepolarityP);
          if (members != null) {
            if (reversepolarityP) {
              { boolean foundP000 = false;

                { Stella_Object m = null;
                  Cons iter000 = members.theConsList;

                  loop000 : for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
                    m = iter000.value;
                    if (Logic.memberOfCollectionP(Logic.valueOf(m), supercollection)) {
                      foundP000 = true;
                      break loop000;
                    }
                  }
                }
                if (foundP000) {
                  return (Logic.KWD_FINAL_SUCCESS);
                }
                else {
                  if (Logic.closedTermP(supercollection)) {
                    return (Logic.KWD_TERMINAL_FAILURE);
                  }
                }
              }
            }
            else {
              { boolean alwaysP000 = true;

                { Stella_Object m = null;
                  Cons iter001 = members.theConsList;

                  loop001 : for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
                    m = iter001.value;
                    if (!Logic.memberOfCollectionP(Logic.valueOf(m), supercollection)) {
                      alwaysP000 = false;
                      break loop001;
                    }
                  }
                }
                if (alwaysP000) {
                  return (Logic.KWD_FINAL_SUCCESS);
                }
                else {
                  if (Logic.closedTermP(supercollection)) {
                    return (Logic.KWD_TERMINAL_FAILURE);
                  }
                }
              }
            }
          }
          return (Logic.KWD_FAILURE);
        }

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