Write a Hoare logic proof (decorated program) to show that the given Hoare triple holds and the program always terminates (hint: what is a ranking function?). 10 Ay>0} 2 int r = x; 3 int q = 0%; 4 while (y