Constraint parser seems to work.
Added some tests.
Refined the constraint parser.