* must_allow_event * must_allow_transition_to * must_have_state * must_transition_to * minitest assertions