(GOAL COMPLEXITY)
(STARTTERM CONSTRUCTORBASED)
(VAR x y z )
(STRATEGY INNERMOST)
(RULES 
        *(x, +(y, z)) -> +(*(x, y), *(x, z))
        
)