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

Description
Incorrect distribution of times over plus: one term is not multiplied.

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