Constraint validator