% RUNS ON flatzinc
% RUNS ON fzn_fd_canon
% RUNS ON fzn_fdlp_canon
% RUNS ON fzn_lazyfd_canon

var 0..3: x1 :: output_var;
var 1..2: x2 :: output_var;
var 1..2: x3 :: output_var;
var 0..3: x4 :: output_var;
constraint array_var_int_element(2, [2, 3, 4], 3);
constraint array_var_int_element(x1, [x2, x3], x4);
solve satisfy;