ALL:
  /B.x: Int
  C.x: Int
DIRECT:
  /B.x: Int
