From df6a5fc71b9e8f72857d77e3c492a93f344b26ff Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Sun, 1 Oct 2023 12:19:37 +0200
Subject: [PATCH] bump threshold

---
 src/frontc/cabs2cil.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/frontc/cabs2cil.ml b/src/frontc/cabs2cil.ml
index 4b3dd42e0..a9413917a 100644
--- a/src/frontc/cabs2cil.ml
+++ b/src/frontc/cabs2cil.ml
@@ -565,7 +565,7 @@ let alphaConvertVarAndAddToEnv (addtoenv: bool) (vi: varinfo) : varinfo =
   (* Store all locals in the slocals (in reversed order). We'll reverse them
      and take out the formals at the end of the function *)
   if not vi.vglob then(
-    if List.length !scopes > 1 then
+    if List.length !scopes > 2 then
       newvi.vattr <- Attr("goblint_cil_nested", []) :: newvi.vattr;
     !currentFunctionFDEC.slocals <- newvi :: !currentFunctionFDEC.slocals)
   ;