                                     (SOME (INSTR AND)) andalso
                                    (case nth prog (plus_nata pc one_nata)
                                      of NONE => false
---- 3172,3192 ----
+--- 3346,3366 ----
                            | SOME (CEXP _) => true) andalso
                           equal_optiona (equal_instrc A_)
                             (nth prog

!   datatype int = Int_of_integer of Int.int
!   val integer_of_int : int -> Int.int
    type nat
!   val nat_of_integer : Int.int -> nat
!   val integer_of_nat : nat -> Int.int
    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

                                  of (NONE, _) => NONE
                                  | (SOME (INSTR (JMPZ _)), NONE) => NONE
                                  | (SOME (INSTR (JMPZ pcb)), SOME pca) =>
--- 3385,3391 ----
                                     | SOME (CEXP _) => false)))
                           then (case (nth prog (plus_nata pc one_nata),
                                        check_conj_blocka A_ prog
