delete auxiliary constraints in reified conjunctions
delete auxiliary constraints in reified conjunctions

Previously:

   %?- A #/\ (B#=5) #<==> C, A = 0.
   %@ A = 0,
   %@ C = 0,
   %@ 1#/\1#/\B#=5#<==>_G3213,
   %@ _G3213 in 0..1,
   %@ 0#/\_G3213#<==>0.

Now:

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

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