# This is a generated file.
# Full coverage: 50%, with partial coverage: 100%
state_change_a_Chicken🌕 check_a_Chicken🌓
state_change_a_Chicken🌕 check_b_Chicken_Green🌓
state_change_b_Chicken_Green🌕 check_a_Chicken🌓
state_change_b_Chicken_Green🌕 check_b_Chicken_Green🌓
state_change_a_Dog🌕 check_b_Dog_Red🌓
state_change_a_Dog🌕 check_a_Chicken🌓
state_change_a_Dog🌕 check_a_Dog🌓