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

from Property ap2, Property bp2
where ap2.hasName("P2") and ap2.getDeclaringType().hasName("A")
  and bp2.hasName("P2") and bp2.getDeclaringType().hasName("B")
  and ap2.getOverridee() = bp2
select ap2, bp2
