Constraint validator

Validation for single Kuratowski constraints.