YES
exiting with thread!
(VAR x )
(RULES 
        i(0) -> 0
        sqrt(+(i(x),x)) -> 0
        +(0,0) -> 0
        sqrt(0) -> 0
        
)