a(b,a(b,b(a)))          
a(b(b,a),a(b,a(b)))     
b(b,a(a))               
c(b(a(b,c)))            
c(b,a,b)                
c(a,b,a(b))