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) |