Maybe I don't understand what's going on, but I'm not sure why this file is called alarm_example_tests + labelled as such when it appears to be testing the check model.