diff --git a/src/passes/2-simplify/pascaligo.ml b/src/passes/2-simplify/pascaligo.ml
index 08e88bdc7..3a438f68b 100644
--- a/src/passes/2-simplify/pascaligo.ml
+++ b/src/passes/2-simplify/pascaligo.ml
@@ -669,39 +669,36 @@ and simpl_single_instruction : Raw.instruction -> (_ -> expression result) resul
       return_statement @@ e_loop cond body
   | Loop (For (ForInt fi)) -> 
       (* cond part *)
-      let%bind _var = ok @@ e_variable fi.value.assign.value.name.value in
-      let%bind _value = simpl_expression fi.value.assign.value.expr in
-      let%bind _bound = simpl_expression fi.value.bound in
-      let%bind _comp = match fi.value.down with
-        | Some _ -> ok @@ e_annotation (e_constant "GE" [_var ; _bound]) t_bool
-        | None -> ok @@ e_annotation (e_constant "LE" [_var ; _bound]) t_bool
+      let%bind var = ok @@ e_variable fi.value.assign.value.name.value in
+      let%bind value = simpl_expression fi.value.assign.value.expr in
+      let%bind bound = simpl_expression fi.value.bound in
+      let%bind comp = match fi.value.down with
+        | Some _ -> ok @@ e_annotation (e_constant "GE" [var ; bound]) t_bool
+        | None -> ok @@ e_annotation (e_constant "LE" [var ; bound]) t_bool
       in
 
       (* body part *)
-      let%bind _body = simpl_block fi.value.block.value in
-      let%bind _body = _body None in
-      let%bind _step =  match fi.value.step with
+      let%bind body = simpl_block fi.value.block.value in
+      let%bind body = body None in
+      let%bind step =  match fi.value.step with
         | Some (_,e) -> simpl_expression e
         | None -> ok (e_int 1) in
-      let%bind _ctrl = match fi.value.down with
+      let%bind ctrl = match fi.value.down with
         | Some _ ->
-          let%bind _addi = ok @@ e_constant "SUB" [ _var ; _step ] in 
+          let%bind _addi = ok @@ e_constant "SUB" [ var ; step ] in 
           ok @@ e_assign fi.value.assign.value.name.value [] _addi 
         | None ->
-          let%bind _subi = ok @@ e_constant "ADD" [ _var ; _step ] in 
+          let%bind _subi = ok @@ e_constant "ADD" [ var ; step ] in 
           ok @@ e_assign fi.value.assign.value.name.value [] _subi
       in
       let rec add_to_seq expr = match expr.expression with
         | E_sequence (_,a) -> add_to_seq a
-        | _ -> e_sequence _body _ctrl in
-      let%bind _body' = ok @@ add_to_seq _body in
-
-      let%bind _loop = ok @@ e_loop _comp _body' in
-
-      let _ = Format.printf " -> %a\n" Ast_simplified.PP.expression _body' in
+        | _ -> e_sequence body ctrl in
+      let%bind body' = ok @@ add_to_seq body in
+      let%bind loop = ok @@ e_loop comp body' in
 
       return_statement @@
-        e_let_in (fi.value.assign.value.name.value, Some t_int) _value _loop
+        e_let_in (fi.value.assign.value.name.value, Some t_int) value loop
   | Loop (For (ForCollect {region ; _})) ->
       fail @@ unsupported_for_loops region
   | Cond c -> (