Predicate Make::Logic::ssaControlsBranchEdge
Holds if def evaluating to v controls the control-flow branch
edge from bb1 to bb2. That is, following the edge from bb1 to
bb2 implies that def evaluated to v.
Import path
import codeql.controlflow.Guardspredicate ssaControlsBranchEdge(SsaDefinition def, BasicBlock bb1, BasicBlock bb2, GuardValue v)