[BUG] MiniZinc/Choco 231102, `aaa1ae7b9`, `network_flow_cost`, missing solution

[matsc-at-sics-se]

$ cat /tmp/latest.mzn
include "globals.mzn";
var {1,3}: B;
var {6,8}: C;
var 2..3: E;
var {2,4}: I;
var {1,3,4}: J;
var 3..4: K;
constraint
  network_flow_cost(array2d(1..12,1..2,[1,2,1,3,1,4,2,1,2,3,2,4,3,1,3,2,3,4,4,1,4,2,4,3]),
                    [2,-2,2,-2],
                    [0,1,0,0,0,1,0,2,0,0,0,0],
                    [1,0,3,0,B,E,0,K,I,2,J,2],
                    C);
output ["[B,C,E,I,J,K] = \([B,C,E,I,J,K])\n"];
$ minizinc -a /tmp/latest.mzn
[B,C,E,I,J,K] = [1, 8, 2, 2, 1, 3]
----------
[B,C,E,I,J,K] = [3, 8, 2, 4, 3, 3]
----------
==========
$ minizinc -a --solver choco /tmp/latest.mzn
%% Choco 231102
[B,C,E,I,J,K] = [1, 8, 2, 2, 1, 3]
----------

[cprudhom]

Thank you for the bug reporting.