Predicate scopeFirst
Holds if first is first executed when entering scope.
Import path
import semmle.code.csharp.controlflow.internal.ControlFlowGraphImplpredicate scopeFirst(CfgScope scope, AstNode first)Holds if first is first executed when entering scope.
import semmle.code.csharp.controlflow.internal.ControlFlowGraphImplpredicate scopeFirst(CfgScope scope, AstNode first)