First attempts at reading FlatZinc problems