Now correctly using Gecode.