public static void locallyConceivedPropositionsSetter(Module self, SequenceIndex value) {
    KeyValueList.setDynamicSlotValue(self.dynamicSlots, Logic.SYM_LOGIC_LOCALLY_CONCEIVED_PROPOSITIONS_INTERNAL, value, null);
  }