(VAR x )
(RULES 
        a(f, a(f, a(g, a(g, x)))) -> a(g, a(g, a(g, a(f, a(f, a(f, x))))))
        
)