Fixed online handling of equations.
Iterate a cartesian product without garbage.
Abduction for linear arithmetics, initial commit.