Predicate scopeLast
Holds if scope is exited when last finishes with completion c.
Import path
import semmle.code.csharp.controlflow.internal.ControlFlowGraphImplpredicate scopeLast(CfgScope scope, AstNode last, Completion c)Holds if scope is exited when last finishes with completion c.
import semmle.code.csharp.controlflow.internal.ControlFlowGraphImplpredicate scopeLast(CfgScope scope, AstNode last, Completion c)