The zinc compiler will first compile

B

with

B

as the root when computing the closure, so it will correctly get

C