public static void runUpdatePropositionDemon(Proposition proposition, Keyword updatemode) {
    if (((ObjectStore)(KeyValueList.dynamicSlotValue(((Module)(Stella.$MODULE$.get())).dynamicSlots, Logic.SYM_LOGIC_OBJECT_STORE, null))) != null) {
      ((ObjectStore)(KeyValueList.dynamicSlotValue(((Module)(Stella.$MODULE$.get())).dynamicSlots, Logic.SYM_LOGIC_OBJECT_STORE, null))).updatePropositionInStore(proposition, updatemode);
    }
    if (proposition.kind == Logic.KWD_EQUIVALENT) {
      Proposition.runUpdateEquivalencePropositionDemon(proposition, updatemode);
    }
    else {
      Proposition.helpRunUpdatePropositionDemon(proposition, updatemode);
    }
  }