Member predicate Path::SafeAccessCheck::Range::checks

Holds if this guard validates node upon evaluating to branch.

predicate checks(ControlFlowNode node, boolean branch)