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

from Property ap3, Property bp3
where ap3.hasName("P3") and ap3.getDeclaringType().hasName("A")
  and bp3.hasName("P3") and bp3.getDeclaringType().hasName("B")
  and ap3.getOverridee() = bp3
select ap3, bp3
