From 55c5c83282e6c08d4014e4c4041c3ba94e33d865 Mon Sep 17 00:00:00 2001
From: Jihyeok Park <jihyeok_park@korea.ac.kr>
Date: Tue, 17 Dec 2024 16:47:20 +0900
Subject: [PATCH] Hotfix bugs related to instantiation of symbolic expressions
 in type checker

---
 src/main/scala/esmeta/analyzer/tychecker/AbsTransfer.scala | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/main/scala/esmeta/analyzer/tychecker/AbsTransfer.scala b/src/main/scala/esmeta/analyzer/tychecker/AbsTransfer.scala
index 365b2a1c06..4d1ed59bb0 100644
--- a/src/main/scala/esmeta/analyzer/tychecker/AbsTransfer.scala
+++ b/src/main/scala/esmeta/analyzer/tychecker/AbsTransfer.scala
@@ -1295,8 +1295,11 @@ trait AbsTransferDecl { analyzer: TyChecker =>
       sexpr: SymExpr,
       map: Map[Sym, AbsValue],
     )(using st: AbsState): Option[SymExpr] = sexpr match {
-      case SEBool(b)     => Some(sexpr)
-      case SERef(ref)    => None
+      case SEBool(b) => Some(sexpr)
+      case SERef(ref) =>
+        instantiate(ref, map).symty match
+          case SRef(ref) => Some(SERef(ref))
+          case _         => None
       case SEExists(ref) => None
       case SETypeCheck(base, ty) =>
         instantiate(base, map) match