new dom constraints in sets as added to Gecode SVN