public static SequenceIndex moduleDcreateSequenceIndex(Module module, Cons pattern) {
    { ObjectStore store = ((ObjectStore)(KeyValueList.dynamicSlotValue(module.dynamicSlots, Logic.SYM_LOGIC_OBJECT_STORE, null)));

      if (store != null) {
        return (Logic.createSequenceIndex(store, pattern));
      }
      else {
        return (Logic.createSequenceIndex(Logic.KWD_PAGING, pattern));
      }
    }
  }