bank-account - check semantics of closed accounts