Added constraint parsing tests