YES
exiting with thread!
(VAR x )
(RULES 
        a(x) -> b(x)
        c(x) -> b(x)
        b(b(b(x))) -> b(b(x))
        
)