[SCIP] [zimpl] nested IF statement

[Hartmut Henkel]

Hello,

it seems that an IF statement in a combined constraint must be first:

param x := 1.3;
param a := 1;
param b := 0;
var y >= 5;
var d;
var i integer;
minimize slack: d;
subto ok:
  if (a == 1) then
        if (b == 1) then d == i end
    and y == x * d
  end;
subto not_ok:
  if (a == 1) then
        y == x * d
    and if (b == 1) then d == i end
  end;

Is this intentional?

Best Regards
Hartmut