Ascent++ | guaranteed by bank

Assertion list for term "guaranteed by bank".

Results from Ascent++: 2

check → ReceivesAction → guaranteed by bank	0.29
signature → ReceivesAction → guaranteed by bank	0.29