Assertion list for term "stuck in open position".

Results from Ascent++: 1
thermostat ReceivesActionstuck in open position 0.38