MAYBE
exiting with thread!
(VAR z )
(RULES 
        f(a,b,z) -> b
        
)