diff --git a/src/passes.ml b/src/passes.ml
index 52f3bbf..9b6ccf0 100644
--- a/src/passes.ml
+++ b/src/passes.ml
@@ -89,7 +89,7 @@ let chkvar_init_unicity verbose debug main_fn : t_nodelist -> t_nodelist option
 let aux (node: t_node) : t_node option =
   let incr_aux h n =
     match Hashtbl.find_opt h n with
-    | None -> failwith "todo, should not happend."
+    | None -> failwith "todo, should not happened."
     | Some num -> Hashtbl.replace h n (num + 1)
     in
   let incr_eq h (((_, patt), _): t_equation) =
@@ -109,7 +109,7 @@ let aux (node: t_node) : t_node option =
           Hashtbl.iter
             (fun varname num' ->
               match Hashtbl.find_opt acc varname with
-              | None -> failwith "non!"
+              | None -> failwith "no!"
               | Some num -> Hashtbl.replace acc varname (Int.max num num')
               ) h_st) states;
         Hashtbl.iter (fun v n -> Hashtbl.replace h v n) acc
diff --git a/src/test.node b/src/test.node
index 9200b38..ef459bb 100644
--- a/src/test.node
+++ b/src/test.node
@@ -1,5 +1,5 @@
 node diagonal_int (i: int) returns (o1, o2 : int);
-let i: int;
+var i: int;
 let
 	(o1, o2) = (i, i);
 tel