Assertion list for term "found outside bank".

Results from Ascent++: 1
atm ReceivesActionfound outside bank 0.28