removing sort checks for Map and Set

Author: emarzion

kore/src/Kore/Builtin/Map.hs

@@ -488,10 +488,9 @@ internalize
     -> TermLike variable
     -> TermLike variable
 internalize tools termLike
-  | fromMaybe False (isMapSort tools sort')
   -- Ac.toNormalized is greedy about 'normalizing' opaque terms, we should only
   -- apply it if we know the term head is a constructor-like symbol.
-  , App_ symbol _ <- termLike
+  | App_ symbol _ <- termLike
   , isConstructorModulo_ symbol =
     case Ac.toNormalized @NormalizedMap termLike of
         Ac.Bottom                    -> TermLike.mkBottom sort'

kore/src/Kore/Builtin/Set.hs

@@ -486,10 +486,9 @@ internalize
     -> TermLike variable
     -> TermLike variable
 internalize tools termLike
-  | fromMaybe False (isSetSort tools sort')
   -- Ac.toNormalized is greedy about 'normalizing' opaque terms, we should only
   -- apply it if we know the term head is a constructor-like symbol.
-  , App_ symbol _ <- termLike
+  | App_ symbol _ <- termLike
   , isConstructorModulo_ symbol =
     case Ac.toNormalized @NormalizedSet termLike of
         Ac.Bottom                    -> TermLike.mkBottom sort'