Change package name 'constraints' to singular.
Introduce mechanism to create test cases violating constraints on purpose.