main(x) = f(x)
f(C1(x)) = (D(a),b   ,D(c)) where (a,b,c) = f(x)
f(C2(x)) = (D(a),D(b),   c) where (a,b,c) = f(x)
f(C3)    = (E,E,E)
