FlatZinc interpreter, table, wrong solution

[Mats Carlsson]

Here is a model that produces two solutions, one right, one wrong.

include "globals.mzn";
var 1..1 union 3..3: B;
var 2..3: C;
array[int,int] of int: extension =
[| 3,3,2,1,
 | 3,2,2,3,
 | 4,4,3,1,
 |];

constraint table([3,C,C,B],extension);
output ["\([B,C])\n"];

% SOLUTIONS
% [1,2] - wrong
% [3,2] - right