ALL:
  /B.foo(x: Int): Int
DIRECT:
  /B.foo(x: Int): Int
INTERSECTION:
