T1(k1(pk),k2(fk:T2.k2),A,B)
T2(k2(pk),k3(fk:T3.k3),C)
T3(k3(pk),D)
T4(k4(pk),k3(fk:T3.k3),E)