move asserts eqs at the end to respect dependencies

src/machine_code.ml

@@ -595,7 +595,7 @@ let translate_decl nd sch =
    *   VSet.pp locals
    *   VSet.pp inout_vars
    * ; *)
-  let equations = assert_instrs @ sorted_eqs in
+  let equations = sorted_eqs @ assert_instrs in
   let mems = get_memories env equations in
   (* Removing computed memories from locals. We also removed unused
      variables. *)

src/printers.ml

@@ -359,7 +359,7 @@ and pp_expr_annot fmt expr_ann =
 let pp_asserts fmt asserts =
   match asserts with
   | _ :: _ ->
-    fprintf fmt "(* Asserts definitions *)@ ";
+    fprintf fmt "@;@;(* Asserts definitions *)@;";
     pp_print_list
       (fun fmt assert_ ->
         let expr = assert_.assert_expr in