Parsers now returns a data map. This is to allow finer control on solver
output (e.g., search strategies in FlatZinc)