Dont check intermediate codepos when normalizing gaps

Author: Gustavo2622

src/ecMatching.ml

@@ -397,8 +397,8 @@ module Position = struct
   (* Normalize a codegap1 to nm_codegap1 *)
   let normalize_cgap1 (env : env) (g : codegap1) (s : stmt) : nm_codegap1 =
     let nm = match g with
-      | GapBefore cp -> normalize_cpos1 env cp s |> gap_before
-      | GapAfter  cp -> normalize_cpos1 env cp s |> gap_after
+      | GapBefore cp -> normalize_cpos1 ~check:false env cp s |> gap_before
+      | GapAfter  cp -> normalize_cpos1 ~check:false env cp s |> gap_after
     in
     check_nm_cgap1 nm s; nm