/**
 * @name Test for overrides
 */

import csharp

from Method m, Method n
where
  m.hasName("Add") and
  m.getDeclaringType().hasName("List<>") and
  n.hasName("Add") and
  n.getDeclaringType().hasName("ICollection<T>") and
  m.getImplementee() = n
select m.toString(), n.toString()