And then compile

A

with

A

as the root, so it will correctly get

B

but not

C

, when respect_intransitive is True