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