Assertion list for term "locked for outgoing transfers".

Results from Ascent++: 1
account (aspect of bank) ReceivesActionlocked for outgoing transfers 0.16