Assertion list for term "stuck in the lock".

Results from Ascent++: 1
key ReceivesActionstuck in the lock 0.41