Member predicate StateTracking::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)