Parsers to Choco3