Assertion list for term "left by bank".

Results from Ascent++: 1
void ReceivesActionleft by bank 0.29