Assertion list for term "stuck in case".

Results from Ascent++: 1
garage door (subgroup of door) ReceivesActionstuck in case 0.25