ALL:
  /B.foo: Int
  /A.foo: Int
DIRECT:
  /B.foo: Int
INTERSECTION:
