YES
exiting with thread!
(VAR x z )
(RULES 
        c -> a
        g(x) -> x
        b -> a
        f(x,a) -> x
        f(a,z) -> a
        
)