Multiplication bug

[Broes De Cat]

I have a situation where

totalCost = ... + sum{...} * 50 * 2

results in unsat, while

totalCost = ... + sum{...} * 100

yields a solution.

I will see when I have some time to add a complete example with an anonimized theory :)