public void reactToInferenceUpdate() {
    { Proposition self = this;

      Proposition.postForEvaluation(self, ((Context)(Stella.$CONTEXT$.get())));
      { Proposition prop = null;
        Iterator iter000 = self.dependentPropositions.allocateIterator();

        while (iter000.nextP()) {
          prop = ((Proposition)(iter000.value));
          Proposition.postForEvaluation(prop, ((Context)(Stella.$CONTEXT$.get())));
        }
      }
      if (((Boolean)(Logic.$FILLINGCONSTRAINTPROPAGATIONQUEUESp$.get())).booleanValue()) {
        Proposition.postToForwardChainingQueue(self, ((World)(((Context)(Stella.$CONTEXT$.get())))));
      }
    }
  }