Update gecode tests
Remove unnecessary qualification