451         assert!(verifier  in bad_down_event()
465         assert!(verifier  in single_pointer_stream()
472         assert!(verifier  in single_pointer_stream()
479         assert!(verifier  in single_pointer_stream()
493         assert!(verifier  in two_pointer_stream()
503         assert!(verifier  in two_pointer_stream()
511         assert!(verifier  in two_pointer_stream()
520         assert!(verifier  in two_pointer_stream()
533         assert!(verifier  in multi_device_stream()
540         assert!(verifier  in multi_device_stream()
547         assert!(verifier  in multi_device_stream()
554         assert!(verifier  in multi_device_stream()
561         assert!(verifier  in multi_device_stream()
574         assert!(verifier  in action_cancel()
581         assert!(verifier  in action_cancel()
594         assert!(verifier  in invalid_action_cancel()
597         assert!(verifier  in invalid_action_cancel()
606         assert!(verifier  in invalid_up()
615         assert!(verifier  in correct_hover_sequence()
619         assert!(verifier  in correct_hover_sequence()
623         assert!(verifier  in correct_hover_sequence()
627         assert!(verifier  in correct_hover_sequence()
636         assert!(verifier  in double_hover_enter()
640         assert!(verifier  in double_hover_enter()
651         assert!(verifier  in relative_mouse_move()
667         assert!(verifier  in move_with_wrong_number_of_pointers()
677         assert!(verifier  in move_with_wrong_number_of_pointers()
685         assert!(verifier  in move_with_wrong_number_of_pointers()
698         assert!(verifier  in correct_button_press()
711         assert!(verifier  in button_press_without_action_button()
724         assert!(verifier  in button_press_with_multiple_action_buttons()
739         assert!(verifier  in button_press_without_action_button_in_state()
752         assert!(verifier  in button_release_with_action_button_in_state()
759         assert!(verifier  in button_release_with_action_button_in_state()
772         assert!(verifier  in nonbutton_action_with_button_state_change()
779         assert!(verifier  in nonbutton_action_with_button_state_change()
792         assert!(verifier  in nonbutton_action_missing_button_state()
799         assert!(verifier  in nonbutton_action_missing_button_state()
806         assert!(verifier  in nonbutton_action_missing_button_state()
819         assert!(verifier  in up_without_button_release()
826         assert!(verifier  in up_without_button_release()
834         assert!(verifier  in up_without_button_release()
847         assert!(verifier  in button_press_for_already_pressed_button()
854         assert!(verifier  in button_press_for_already_pressed_button()
867         assert!(verifier  in button_release_for_unpressed_button()
880         assert!(verifier  in correct_multiple_button_presses_without_down()
887         assert!(verifier  in correct_multiple_button_presses_without_down()
900         assert!(verifier  in correct_down_with_button_press()
907         assert!(verifier  in correct_down_with_button_press()
914         assert!(verifier  in correct_down_with_button_press()
923         assert!(verifier  in correct_down_with_button_press()
936         assert!(verifier  in down_with_button_state_change_not_followed_by_button_press()
944         assert!(verifier  in down_with_button_state_change_not_followed_by_button_press()
957         assert!(verifier  in down_with_button_state_change_not_followed_by_enough_button_presses()
966         assert!(verifier  in down_with_button_state_change_not_followed_by_enough_button_presses()
973         assert!(verifier  in down_with_button_state_change_not_followed_by_enough_button_presses()
986         assert!(verifier  in down_missing_already_pressed_button()
993         assert!(verifier  in down_missing_already_pressed_button()