0.) if A == B then (8.) else (6.) 1.) C <- C + 1 2.) D <- A - B 3.) if D == A then (5.) else (7.) 4.) if B == C then (0.) else (7.) 5.) C <- C + D 6.) if A == B then (3.) else (7.) 7.) D <- C + A 8.) D <- 0