Assertion list for term "locked in extension".

Results from Ascent++: 1
joint ReceivesActionlocked in extension 0.25