2.8.0: Two-dimensional arrays in FlatZinc solve goals

[informarte]

For three problems from past MiniZinc challenges (roster-sickness, roster-shifts-bool, and rotating-workforce-scheduling), MiniZinc 2.8.0 generates FlatZinc solve goals with two-dimensional arrays, resulting in parser errors from all backends I tried, for example:

> minizinc roster-shifts-bool/bool-model.mzn roster-shifts-bool/small.dzn 

Error: Unknown character in line no. 30976
Error: Unknown character in line no. 30976
Error: syntax error, unexpected FZ_BOOL_LIT, expecting ']' in line no. 30976
=====ERROR=====

The FlatZinc solve goal looks like this:

solve :: bool_search([|false,X_INTRODUCED_2_,X_INTRODUCED_3_,...|],input_order,indomain_max,complete) maximize objective;