(VAR x y z )
(STRATEGY INNERMOST)
(RULES 
        *(i(x),x) -> 1
        *(1,y) -> y
        *(x,0) -> 0
        *(*(x,y),z) -> *(x,*(y,z))
        
)