Eiffel sample applications around the concept of bank account