NormalizedAc.concreteElements, InternalMap, InternalSet: use HashMap and HashSet (#2543)

* NormalizedAc.concreteElements: use HashMap

* Format with fourmolu

* Fix unit tests: term reorderings

* Format with fourmolu

* Builtin maps and sets: evaluate/test with HashMap and HashSet

* Format with fourmolu

* Fix bug in implementation, clean-up

* WIP: fix unit tests

* Format with fourmolu

* Format with fourmolu

* Map reorderings: regenerate output for integration tests

* WIP unit tests: uncomment failing tests

* Format with fourmolu

* Fix Set.test_toList

* Fix all failing unit tests

* Format with fourmolu

* Remove commented import

* Update test name

* Make couple of unit tests independent of order

* Format with fourmolu

* Matcher tests: add matchMulti

Co-authored-by: github-actions <[email protected]>
Co-authored-by: rv-jenkins <[email protected]>

Author: 3 people

kore/src/Kore/Builtin/AssocComm/CeilSimplifier.hs

@@ -16,8 +16,8 @@ import Control.Monad.Reader (
  )
 import qualified Control.Monad.Reader as Reader
 import qualified Data.Bifunctor as Bifunctor
+import qualified Data.HashMap.Strict as HashMap
 import qualified Data.HashSet as HashSet
-import qualified Data.Map.Strict as Map
 import Kore.Attribute.Pattern.FreeVariables (
     FreeVariables,
  )
@@ -329,7 +329,10 @@ fromElement ::
     NormalizedAc normalized Key (TermLike RewritingVariableName)
 fromElement element
     | Just concreteKey <- retractKey symbolicKey =
-        emptyNormalizedAc{concreteElements = Map.singleton concreteKey value}
+        emptyNormalizedAc
+            { concreteElements =
+                HashMap.singleton concreteKey value
+            }
     | otherwise =
         emptyNormalizedAc{elementsWithVariables = [element]}
   where