Changed: reporting TfEof on ventCommitted message and TfEofAtNonCommitRecord