a(b,a(b,b(a)))          1
a(b(b,a),a(b,a(b)))     1
b(b,a(a))               1
c(b(a(b,c)))            0
c(b,a,b)                0
c(a,b,a(b))             0