Foreach in constraints

[kddholak]

Syntax is wrong . Syntax should look like this
for constraint assignment it should be used == instead of =
You should use the

constraint range {foreach (a[i]) (i<31) -> (a[i+1]==a[i]);}