For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
Holds if v is a variable that is live at entry to this basic block.
Note that this is equivalent to bb.isLiveAtEntry(v, _), but may
be more efficient on large databases.
predicate isLiveAtEntry(Variable v)