The return value of `Participant#advance` is undefined and should not be used.  If you need to detect whether or not a participant advanced state, I recommend doing one of the following:

1. documenting `Participant#advance`'s return state, what it means, and providing examples, or
2. adding a separate predicate to tell you what you need to know.