public static Iterator allAncestorCollections(Stella_Object self, Keyword instanceordescription) {
    if (instanceordescription == Logic.KWD_INSTANCE) {
      return (Logic.allAncestorsOfParents(Logic.allIsaCollections(self)));
    }
    else if (instanceordescription == Logic.KWD_DESCRIPTION) {
      return (LogicObject.allSupercollections(((LogicObject)(self))));
    }
    else {
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

        stream000.nativeStream.print("`" + instanceordescription + "' is not a valid case option");
        throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
      }
    }
  }