Smarter gecode expression propagation