ENHANCED: CLP(FD): stronger global_cardinality/2 when variables are aliased
ENHANCED: CLP(FD): stronger global_cardinality/2 when variables are aliased

previously:

   %?- global_cardinality([X,X,Y], [0-1,1-1]).
   %@ X in 0..1,
   %@ global_cardinality([X, X, Y], [0-1, 1-1]),
   %@ Y in 0..1.

now:

   %?- global_cardinality([X,X,Y], [0-1,1-1]).
   %@ false.

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