Fix InvariantCil indentation (PR #1818)

Author: sim642

src/cdomain/value/domains/invariantCil.ml

@@ -30,19 +30,19 @@ let var_may_be_shadowed scope vi =
   let vi_original_name = Cilfacade.find_original_name vi in
   let local_may_shadow local =
     not (CilType.Varinfo.equal vi local) && (* exclude self-equality by vid because the original names would always equal *)
-      vi_original_name = Cilfacade.find_original_name local
+    vi_original_name = Cilfacade.find_original_name local
   in
   List.exists local_may_shadow scope.sformals || List.exists local_may_shadow scope.slocals
 
 let var_is_in_scope scope vi =
   match Cilfacade.find_scope_fundec vi with
   | None ->
     vi.vstorage <> Static && (* CIL pulls static locals into globals, but they aren't syntactically in global scope *)
-      not (var_may_be_shadowed scope vi)
+    not (var_may_be_shadowed scope vi)
   | Some fd ->
     CilType.Fundec.equal fd scope &&
-      (GobConfig.get_bool "witness.invariant.all-locals" || (not @@ hasAttribute "goblint_cil_nested" vi.vattr)) &&
-      not (var_may_be_shadowed scope vi) (* TODO: could distinguish non-nested and nested? *)
+    (GobConfig.get_bool "witness.invariant.all-locals" || (not @@ hasAttribute "goblint_cil_nested" vi.vattr)) &&
+    not (var_may_be_shadowed scope vi) (* TODO: could distinguish non-nested and nested? *)
 
 class exp_is_in_scope_visitor (scope: fundec) (acc: bool ref) = object
   inherit nopCilVisitor