Rule algebra.equations.buggy.distr-times-plus-sign

Description
Incorrect distribution of times over plus: changing sign of addition.

Parameters
Buggyyes
Rewrite ruleno
Siblingsalgebra.equations.linear.distr-times