/**
 * @name Test for overrides
 */
import csharp

from Method bf2, Method cf2
where bf2.hasName("f2") and bf2.getDeclaringType().hasName("B")
  and cf2.hasName("f2") and cf2.getDeclaringType().hasName("C")
  and not bf2.getOverridee() = cf2
select bf2, cf2
