Member predicate TrackableState :: appliesTo
Holds if this state may not apply to the control flow node f, given the context ctx.
predicate
appliesTo
(
ControlFlowNode
f
,
Context
ctx
)