On Ubuntu 22.04.2 LTS.
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
On Ubuntu 22.04.2 LTS.
Here is a model that produces two solutions, one right, one wrong.