(a) In Example 7.44, what condition must be satisfied by a test case for Program P7.16 to produce an incorrect output? Let us refer to the condition you derive as C1. (b) Is C1 the same  as the...

(a) In Example 7.44, what condition must be satisfied by a test case for Program P7.16 to produce an incorrect output? Let us refer to the condition you derive as C1. (b) Is C1 the same  as the condition, say C2, required to cover the c-use of y at line 8 corresponding to its definition at line 14? (c) For Program P7.21, what would you conclude regarding the detection if C1 does not imply C2, or vice versa?