Consider the following program: int x = 10, y = 0; co while (x != y) {x = x-1;y=y+1;} // x = 8; y = 2; For this program to terminate, both arms of the co statement must finish execution; i.e., if one or both arms never completes execution, then the program does not terminate. a.) Explain what has to happen for the program to terminate. When it does terminate, what are the possible final values for x and y? If there is more than one possible set of x and y values, explain how all of them can happen. b.) Are there circumstances where the program does not terminate? If so, describe one example