YES
exiting with thread!
(VAR x y z )
(RULES 
        multiply(multiply(x,y),z) -> multiply(x,multiply(y,z))
        
)