(VAR x y )
(RULES 
        g(tt,x,y) -> g(swap(x,y),s(x),y)
        swap(0,y) -> tt
        swap(s(x),y) -> swap(x,s(y))
        
)