branch aspect of bank, 145 assertions

HasA 1
atm 0.41