*/
  public static void propagateConstraints(Cons name) {
    Logic.processCheckTypesAgenda();
    { Cons optionalname = name;
      Module module = null;

      if (optionalname.value != null) {
        module = Stella_Object.coerceToModule(optionalname.value, true);
      }
      if (module != null) {
        Logic.callPropagateConstraints(module);
      }
      else {
        Logic.callPropagateConstraints(((Context)(Stella.$CONTEXT$.get())));
      }
    }
  }