1. Compute several execution paths for the program of ( the case where you execute the loop just once, and observe how the treatment of arrays becomes simpler when indexes have a numeric value even during symbolic evaluation.) 2. Modify the procedure of by eliminating the second loop. Describe how you can use intermediate assertions to detect the errors in the program.