MAYBE
exiting with thread!
(VAR n0 n1 )
(RULES 
        and(n0,n1) -> n0
        or(n0,n1) -> n1
        
)