a(b,a(b,b(a)))          m(n,m(n,n(m)))       
a(b(b,a),a(b,a(b)))     m(n(n,m),m(n(n),m(n)))  
b(b,a(a))               n(n,m(m))            
c(b(a(b,a)))            p(n(n),p(m(n,c)))         
c(b,a,b)                p(n,m(n(m)),n)             
c(a,b,a(b))             p(m,n,m(n))