Handle the case of multiplication, divison and modulo
in linear-arithmetic formulas commonly,
and not in the solver-specific classes
(we did the same in all of these classes).

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13722 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c