context analysis: remove mHaveEvent

This sets state to clause_state::end if mReader->read() returns
false, allowing mHaveState to be removed.