Analyze the following code and then answer the questions: [Hint: Don did not draw a CFG] A) Find the execution trace using the four test cases given. [Hint: A is used for the main() function, B for the withdraw() function, and C for the deposit() function] B) Assume that deposit() function is changed to: (amount>0) return balance+amount : return balance-5; which test case(s) do we need to test the change made in deposit() function?