Module Make::Logic::Cached::ImpliesTC

Calculates the transitive closure of all the guard implication steps starting from a given set of base cases.

Import path

import codeql.controlflow.Guards

guardControls	Holds if `tgtGuard` evaluating to `tgtVal` implies that `guard` evaluates to `v`.
ssaControls	Holds if `tgtGuard` evaluating to `tgtVal` implies that `def` evaluates to `v`.

baseGuardValue