Predicate foreachEmptiness
Holds if cfe is the element inside foreach statement fs that has the emptiness
completion.
Import path
import semmle.code.csharp.controlflow.internal.Completionpredicate foreachEmptiness(ForeachStmt fs, ControlFlowElement cfe)