test_multioutput.mzn:4:
MiniZinc: type error: Only one output item allowed