{transitive_1 x  = let {[ b_23{{2}} ]  [  ]{d$C__20 = d$C__11; d$D__17 = d$D__34; d$C__11 = d$C__33}
