Fixed recursive constraint validation.