Add helper method in finite domain.
Add min and max constraints.