Predicate Internal::PreCfg::CachedWithCfg::preImpliesStep
Holds if the assumption that g1 has abstract value v1 implies that
g2 has abstract value v2, using one step of reasoning. That is, the
evaluation of g2 to v2 dominates the evaluation of g1 to v1.
This predicate does not rely on the control flow graph.
Import path
import semmle.code.csharp.controlflow.Guardspredicate preImpliesStep(Guard g1, AbstractValue v1, Guard g2, AbstractValue v2)