predicate fzn_piecewise_linear_reif(var float: x, var float: y,
                                    array[int] of float: xi, array[int] of float: vi,
                                    var bool: b) = 
  abort("Reified piecewise_linear constraint is not supported");

%-----------------------------------------------------------------------------%
