-let add_constraint status strict u1 u2 =
- NCicEnvironment.add_constraint strict u1 u2;
- storage := (`Constr (strict,u1,u2)) :: !storage;
+let add_constraint status u1 u2 =
+ NCicEnvironment.add_lt_constraint u1 u2;
+ storage := (`Constr (u1,u2)) :: !storage;