Module Internal::Cached

Import path

import semmle.code.csharp.controlflow.Guards

guardControls	Holds if basic block `bb` only is reached when guard `g` has abstract value `v`.
isGuardedByExpr
isGuardedByNode