Too aggressive simplification fix

Author: DaniilStepanov

jacodb-core/src/main/kotlin/org/jacodb/impl/cfg/Simplifier.kt

@@ -125,6 +125,13 @@ internal class Simplifier {
                     val lhv = inst.lhv
                     val rhv = inst.rhv
                     if (lhv is JcRawSimpleValue && rhv is JcRawSimpleValue) {
+                        val iterator = equalities.entries.iterator()
+                        while (iterator.hasNext()) {
+                            val entry = iterator.next()
+                            if (entry.value == lhv) {
+                                iterator.remove()
+                            }
+                        }
                         if (equalities[lhv] != rhv) {
                             equalities[lhv] = rhv
                             instructions += inst