gecode syntax update