Predicate Internal::Cached::isGuardedByNode
Import path
import semmle.code.csharp.controlflow.Guards
predicate isGuardedByNode(ElementNode guarded, Guard g, AccessOrCallExpr sub, AbstractValue v)
import semmle.code.csharp.controlflow.Guards
predicate isGuardedByNode(ElementNode guarded, Guard g, AccessOrCallExpr sub, AbstractValue v)