                                   | (SOME (INSTR (JMPZ _)), NONE) => NONE
                                   | (SOME (INSTR (JMPZ pcb)), SOME pca) =>
 ***************
-*** 3223,3229 ****
+*** 3398,3404 ****
            (SOME (INSTR AND)) andalso
           equal_optiona equal_nat
             (check_conj_blocka equal_int p
 !             (plus_nata pca (nat_of_integer (2 : IntInf.int))))
             (SOME pc));
   
-  fun steps_approx n prog pc =
---- 3248,3254 ----
+  fun mina A_ (Set (x :: xs)) =
+--- 3422,3428 ----
            (SOME (INSTR AND)) andalso
           equal_optiona equal_nat
             (check_conj_blocka equal_int p
 !             (plus_nata pca (nat_of_integer (2 : Int.int))))
             (SOME pc));
   
-  fun steps_approx n prog pc =
+  fun mina A_ (Set (x :: xs)) =

    in
      (ab, n)
***************
*** 2502,2509 ****
      val ab =
        (if equal_nata n (array_length aa)
          then array_grow aa

!   datatype int = Int_of_integer of Int.int
!   val integer_of_int : int -> Int.int
    type nat
!   val integer_of_nat : nat -> Int.int
!   val nat_of_integer : Int.int -> nat
    datatype instr = JMPZ of nat | ADD | NOT | AND | LT | LE | EQ | PUSH of int |
      POP | LID of nat | STORE | STOREI of nat * int | COPY | CALL | RETURN | HALT
      | STOREC of nat * int | SETF of bool
