delete auxiliary constraints in reified equalities with undefined expressions
delete auxiliary constraints in reified equalities with undefined expressions

Example:

   %?- X #= max(A,B/D) #<==> C, D = 0.
   %@ D = 0,
   %@ C = 0,
   %@ X in inf..sup,
   %@ A in inf..sup,
   %@ B in inf..sup.

Also, improve the strength of reified min/2. Previously:

   %?- X #>= min(A,B) #<==> C, [A,B] ins 0..5, X #> 5.
   %@ X in 6..sup,
   %@ 1#/\1#/\X#>=_G5113#<==>C,
   %@ _G5113 in 0..sup,
   %@ _G5113#>=B,
   %@ _G5113#>=A,
   %@ _G5113#=min(A, B),
   %@ A in 0..5,
   %@ B in 0..5,
   %@ C in 0..1.

Now:

   %?- X #>= min(A,B) #<==> C, [A,B] ins 0..5, X #> 5.
   %@ C = 1,
   %@ X in 6..sup,
   %@ A in 0..5,
   %@ B in 0..5.

mndrix/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel