Added a couple of tests for ConstraintGeneration