/**
 * @name Test for well-formed foreachs
 */
import csharp

from Method m
where m.getName() = "MainForeach"
  and count(LocalVariable v | v.getVariableDeclExpr().getEnclosingCallable() = m
                          and v.getName() = "s") = 1
select m
