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