Test constraint parsing