* @return Cons
   */
  public static Cons allAssertedTypes(Stella_Object self) {
    { Cons types = Stella.NIL;

      { Proposition p = null;
        Iterator iter000 = Logic.allTrueDependentIsaPropositions(self);

        while (iter000.nextP()) {
          p = ((Proposition)(iter000.value));
          { NamedDescription description = Logic.getDescription(((Surrogate)(p.operator)));

            if (!types.memberP(description)) {
              types = Cons.cons(description, types);
            }
          }
        }
      }
      return (types);
    }
  }