From 7fd515c77d6178b6091bd14d1d9e5253e3f158f8 Mon Sep 17 00:00:00 2001
From: Ricardo Costa <rcosta.ms358@gmail.com>
Date: Sun, 10 May 2026 23:50:11 +0100
Subject: [PATCH] Normalize Self-Referential Invocations

---
 client/src/services/context.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/client/src/services/context.ts b/client/src/services/context.ts
index 215ecb2..e4ea736 100644
--- a/client/src/services/context.ts
+++ b/client/src/services/context.ts
@@ -128,6 +128,6 @@ function normalizeVariableRefinements(variables: LJVariable[]): LJVariable[] {
             return left !== right ? [v] : []; // filter tautologies like x == x
         }
         if (v.refinement.includes("!=") || v.refinement.includes(">") || v.refinement.includes("<")) return [v];
-        return [{ ...v, refinement: `${v.name} == ${v.refinement}` }];
+        return [{ ...v, refinement: `${v.name} == ${v.refinement.replace(`(${v.name})`, "()")}` }];
     });
 }
\ No newline at end of file