Finite domain constraint