| MWLC | changes | checks |
| MWLC | changes(Dog) | check_b(Dog, Red) |
| C | state_change_a | state_change_b(Chicken, Red) | check_a | | C | state_change_a(Dog) | state_change_a(Chicken) | check_b(Chicken, Green) |
| MWLC | changes(Dog) | check_a(Animal::All) |