Add strength reduction (Fixes #7116)

THis patch ads the rules for converting multiplication of the form
2 * x and x * 2 into addition x + x.