diff --git a/src/plugins/aorai/aorai_utils.ml b/src/plugins/aorai/aorai_utils.ml
index 4c43cd2143eebf689b23be3e5a9853cb3f622233..c4a7cda302fa5898223e82526a6a5c61f8154745 100644
--- a/src/plugins/aorai/aorai_utils.ml
+++ b/src/plugins/aorai/aorai_utils.ml
@@ -1851,13 +1851,16 @@ let auto_func_block loc f st status res =
     if Aorai_option.Deterministic.get () then begin
       let orig = Data_for_aorai.get_varinfo curState in
       let copy = Cil.copyVarinfo orig (orig.vname ^ "_tmp") in
+      copy.vglob <- false;
       List.map (fun st -> (st, copy)) states, [copy]
     end else begin
       let bindings =
         List.map
           (fun st ->
              let state_var = Data_for_aorai.get_state_var st in
-             (st,Cil.copyVarinfo state_var (state_var.vname ^ "_tmp") ))
+             let copy = Cil.copyVarinfo state_var (state_var.vname ^ "_tmp") in
+             copy.vglob <- false;
+             (st,copy))
           states
       in bindings, snd (List.split bindings)
     end