/**
 * @name Test for methods
 */

import csharp

from Class c
where
  c.hasName("TestOverloading") and
  count(Method m |
    m.getDeclaringType() = c and m.hasName("F") and not m instanceof ConstructedMethod
  ) = 6
select c