void fail(int same) {
   int result;
   int i;
   i = 0;
   while (⟨i <= 3⟩ → ⟨(i <= 3) && (!(same == 3))⟩) {
-    if (same == 3) {
       break;
     } else {
     };
     i = (i + 1);
     same = (same + 1);
   };
   result = same;

 }