Predicate Make::Logic::Cached::ImpliesTC::ssaControls
Holds if tgtGuard evaluating to tgtVal implies that def
evaluates to v.
Import path
import codeql.controlflow.Guardspredicate ssaControls(SsaDefinition def, GuardValue v, Guard tgtGuard, GuardValue tgtVal)