check the case where the condition is positive and `nextStateFrom:forEvent:` returns the correct state.