# Generated from the first test:
| MWLC | state_change_a(Chicken) | check_a(Chicken) |
| MWLC | state_change_a(Chicken) | check_b(Chicken, Green) |
| MWLC | state_change_b(Chicken, Green) | check_a(Chicken) |
| MWLC | state_change_b(Chicken, Green) | check_b(Chicken, Green) |
# Generated from the second test:
| MWLC | state_change_a(Dog) | check_b(Dog, Red) |
# Generated from the third test:
| C | state_change_a(Chicken) | state_change_b(Chicken, Red) | check_a(Chicken) |
# Generated from the fourth test:
| C | state_change_a(Dog) | state_change_a(Chicken) | check_b(Chicken, Green) |
# Generated from fifth test
| MWLC | state_change_a(Dog) | check_a(Dog) |
| MWLC | state_change_a(Dog) | check_a(Chicken) |