Canonical comparison bug whan rhs contains a multiplication

[Wout4]

Bug is located on line 273 but it is not easy to read/debug for me. Please have a look Dimos :)

iv[1] gets removed in the transformation

iv = intvar(-8,8, shape=5)
cons = [iv[2] == (iv[0] * (iv[1])) + 1]
print(cons,canonical_comparison((cons)))

[Dimosts]

cons should be flattened first, before it is given to canonical_comparison.

[Wout4]

ah i see, discovered it when testing choco so the fix there also fixes this