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.cil.BasicBlockpredicate bbIndex(ControlFlowNode bbStart, ControlFlowNode cfn, int i)