Assertion list for term "fail in closed position".

Results from Ascent++: 1
thermostat CapableOffail in closed position 0.25