add violatesConstraints helper