Constraints in Abstract Model Checking