(VAR x y z )
(STRATEGY INNERMOST)
(RULES 
        *(x,+(y,z)) -> +(*(x,y),*(x,z))
        
)