Bugs fix in Cumulative and IntervalDomain that were demonstrated in benchmarks cargo and countR in flatzinc.