Member predicate StateTracking::TrackableState::appliesTo

Holds if this state may apply to the control flow node f, regardless of the context.

predicate appliesTo(ControlFlowNode f)