Expand local variable names to assignable registers (#328)

* Add proper names for assignees

* Fix style

* Fix disappearing assigns

* Remove unused argument

Author: DanielELog

jacodb-api-jvm/src/main/kotlin/org/jacodb/api/jvm/cfg/JcRawInst.kt

@@ -862,13 +862,20 @@ data class JcRawArgument(
     }
 }
 
+enum class LocalVarKind {
+    UNKNOWN,
+    ORIGINAL,
+    NAMED_LOCAL,
+}
+
 /**
  * @param name isn't considered in `equals` and `hashcode`
  */
 data class JcRawLocalVar(
     val index: Int,
     override val name: String,
     override val typeName: TypeName,
+    val kind: LocalVarKind = LocalVarKind.UNKNOWN,
 ) : JcRawLocal {
     override fun toString(): String = name
 

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

@@ -75,7 +75,7 @@ class JcInstListBuilder(val method: JcMethod,val instList: JcInstList<JcRawInst>
             inst.lhv.let { unprocessedLhv ->
                 if (unprocessedLhv is JcRawLocalVar && unprocessedLhv.typeName == UNINIT_THIS) {
                     convertedLocalVars.getOrPut(unprocessedLhv) {
-                        JcRawLocalVar(unprocessedLhv.index, unprocessedLhv.name, inst.rhv.typeName)
+                        JcRawLocalVar(unprocessedLhv.index, unprocessedLhv.name, inst.rhv.typeName, unprocessedLhv.kind)
                     }
                 } else {
                     unprocessedLhv