Has the reified nary equality propagator for int vars. somehow vanished, or am I just blind? (trying to get the Alice binding in sync again...) -- Guido Tack Programming Systems Lab http://www.ps.uni-sb.de/~tack