Assertion list for term "locked in case".

Results from Ascent++: 1
finger ReceivesActionlocked in case 0.25