public static SequenceIndex locallyConceivedInstances(Context self) {
    { SequenceIndex instances = ((SequenceIndex)(KeyValueList.dynamicSlotValue(self.dynamicSlots, Logic.SYM_LOGIC_LOCALLY_CONCEIVED_INSTANCES_INTERNAL, null)));

      if (instances == null) {
        instances = Logic.createSequenceIndex(Logic.KWD_PAGING, Cons.cons(Logic.KWD_CONTEXT_INSTANCES, Cons.cons(((Stella.NIL == null) ? Stella.NIL : Stella.NIL), Cons.cons(self, Stella.NIL))));
        KeyValueList.setDynamicSlotValue(self.dynamicSlots, Logic.SYM_LOGIC_LOCALLY_CONCEIVED_INSTANCES_INTERNAL, instances, null);
      }
      return (instances);
    }
  }