An example system with a BANK_ACCOUNT class that has a problem with aliasing in the transfer command.