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