Holds if cfn is the ith node in basic block bb.
In other words, i is the shortest distance from a node bb
that starts a basic block to cfn along the intraBBSucc relation.
Import path
import semmle.code.csharp.controlflow.BasicBlocksHolds if cfn is the ith node in basic block bb.
In other words, i is the shortest distance from a node bb
that starts a basic block to cfn along the intraBBSucc relation.
import semmle.code.csharp.controlflow.BasicBlocks