Predicate Make::Logic::ssaControls
Holds if def evaluating to v controls the basic block bb.
That is, execution of bb implies that def evaluated to v.
Import path
import codeql.controlflow.Guardspredicate ssaControls(SsaDefinition def, BasicBlock bb, GuardValue v)