Predicate Make::BlockSlices::blockSlice
Holds if blockSlice is a string representation of a line slice of a
basic block. first is the first node in the slice.
Import path
import codeql.controlflow.test.TestCfgpredicate blockSlice(int line, ControlFlowNode first, string blockSlice)