Member predicate TrackableState::startsAt

Holds if state starts at f. Either this predicate or startsAt(ControlFlowNode f, Context ctx) should be overridden by sub-classes.