Fixed constraint parsing and resolution