Warnings when flattening mqueens2.mzn

[siala]

Hi,

There are a lot of warnings when flattening the model mqueens2.mzn with any *dzn file. I'm using the last Minizinc distribution (2.0.13) without any solver specific global constraint definition.
I tried an older version (2.0.2) and the fzn file was generated without warnings.

This is the first warning:
Warning: undefined result becomes false in Boolean context
(array access out of bounds)
mqueens2.mzn:55:
in call 'forall'
in array comprehension expression
with i = 1
with j = 1
mqueens2.mzn:56:
in binary '=' operator expression
in unary 'not' operator expression
mqueens2.mzn:57:
in binary '/' operator expression
mqueens2.mzn:59:
in unary 'not' operator expression
in call 'exists'
in array comprehension expression
with k = 1
mqueens2.mzn:60:
in binary '/' operator expression
in unary 'not' operator expression
in array access

Thanks.