* @return Cons
   */
  public static Cons findDirectSupersOfInstance(Stella_Object self) {
    Logic.finalizeObjects();
    if (self == null) {
      return (Stella.NIL);
    }
    { Object old$Classificationsession$000 = Logic.$CLASSIFICATIONSESSION$.get();
      Object old$Context$000 = Stella.$CONTEXT$.get();

      try {
        Native.setSpecial(Logic.$CLASSIFICATIONSESSION$, Logic.getClassificationSession(Logic.KWD_INSTANCE));
        Native.setSpecial(Stella.$CONTEXT$, ((ClassificationSession)(Logic.$CLASSIFICATIONSESSION$.get())).classificationWorld);
        LogicObject.upclassifyOneInstance(((LogicObject)(self)));
        return (Logic.mostSpecificNamedCollections(Logic.allIsaCollections(self)));

      } finally {
        Stella.$CONTEXT$.set(old$Context$000);
        Logic.$CLASSIFICATIONSESSION$.set(old$Classificationsession$000);
      }
    }
  }