Member predicate TrackableState :: appliesTo
Holds if this state may apply to the control flow node f, regardless of the context.
predicate
appliesTo
(
ControlFlowNode
f
)