*/
  public static void repropagateConstraints(Cons name) {
    Logic.processCheckTypesAgenda();
    { Cons optionalname = name;
      Module context = Stella_Object.coerceToModule(optionalname.value, true);

      if (context == null) {
        context = ((Module)(((Context)(Stella.$CONTEXT$.get()))));
      }
      Logic.destroyInferenceCaches(context);
      Logic.callPropagateConstraints(context);
    }
  }