Hi,
> Bootstrap and regtest running on x86_64-unknown-linux-gnu.
>
> Zdenek, does this look ok? double_int_constant_multiple_p seems to
> be only used from aff_combination_constant_multiple_p.
yes,
Zdenek
Predictive commoning thinks that { a, +, a + 1 } and { 2 * a, +, a + 1 }
are just 1 iteration apart because when verifying if the difference
between a and 2*a is a multiple of a + 1 it falls into the trap
of double_int_constant_multiple_p returning true (but not initializing
a multiplier) for the
