Assertion list
old thermostat (subgroup of thermostat ) → ReceivesAction
Results from Ascent++: 1
old thermostat → ReceivesAction → removed 0.68