(VAR x0 x1 x2 )
(RULES 
        p(a(x0), p(a(a(a(x1))), x2)) -> p(a(x2), p(a(a(b(x0))), x2))
        
)