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