[Only for a test] Feature/lexer based constraint parsing