Z0->X->Y
Z0->Z1->Z2->Y
Z0->B->Z3->Y
X->Z2->Z3
