1 files changed, 2 insertions, 12 deletions
diff --git a/Source/Concurrency/CivlRefinement.cs b/Source/Concurrency/CivlRefinement.cs
index dfe50ef9..75ff2358 100644
--- a/Source/Concurrency/CivlRefinement.cs
+++ b/Source/Concurrency/CivlRefinement.cs
@@ -315,19 +315,9 @@ namespace Microsoft.Boogie
             foreach (var v in civlTypeChecker.localVarToLocalVariableInfo.Keys)
             {
                 LocalVariableInfo info = civlTypeChecker.localVarToLocalVariableInfo[v];
-                if (info.isGhost)
+                if (layerNum < info.layer)
                 {
-                    if (info.layer != layerNum)
-                    {
-                        availableVars.Remove(v);
-                    }
-                }
-                else
-                {
-                    if (layerNum < info.layer)
-                    {
-                        availableVars.Remove(v);
-                    }
+                    availableVars.Remove(v);
                 }
             }
             return availableVars;