# This test should generate 1 processed tests:
| MWLC | state_change_a(Chicken) | check_a(Chicken) | state_change_a(Dog) | check_a(Dog) | state_change_a(Chicken) |
# This test should not result in any change in the expected file
| MWLC | state_change_a(Chicken) | state_change_a(Dog) | check_a(Dog) |