4. (20 points) Source Code Coverage a. Draw the control flow graph for this piece of code. b. Annotate the control flow graph generated in part a with definitions and uses of variable array. c. Definitions and uses of simple variables, like that of minchildIndex, are less problematic than those of array variables, such as array. In light of your answer to part b of this question and based on the code given above, clearly explain this statement