Member predicate StringConstCompare :: checks
Holds if this guard validates node
upon evaluating to branch
.
predicate
checks
(
ControlFlowNode
node
,
boolean
branch
)