*/
  public static void callPropagateConstraints(Context context) {
    { Context worldstate = Logic.getWorldState(context);
      World propagationworld = Logic.getInferenceCache(worldstate, Logic.KWD_META);

      if (((BooleanWrapper)(KeyValueList.dynamicSlotValue(propagationworld.dynamicSlots, Logic.SYM_LOGIC_UP_TO_DATE_INFERENCESp, Stella.FALSE_WRAPPER))).wrapperValue) {
        return;
      }
      try {
        { Proposition p = null;
          Iterator iter000 = Logic.allPropositions(((Module)(worldstate)), true);

          while (iter000.nextP()) {
            p = ((Proposition)(iter000.value));
            Logic.reactToKbUpdate(propagationworld, p);
          }
        }
      } catch (Clash e) {
        Stella.STANDARD_ERROR.nativeStream.println(Stella.exceptionMessage(e));
        {
          Stella.STANDARD_ERROR.nativeStream.println("One or more facts need to be retracted to eliminate");
          Stella.STANDARD_ERROR.nativeStream.println("   the inconsistency.");
        }
;
      }
      KeyValueList.setDynamicSlotValue(propagationworld.dynamicSlots, Logic.SYM_LOGIC_UP_TO_DATE_INFERENCESp, Stella.TRUE_WRAPPER, Stella.FALSE_WRAPPER);
    }
  }