Fix a bug in SSA construction

kernel/modelverse_jit/cfg_ssa_construction.py

@@ -22,7 +22,7 @@ def get_ineligible_local_ids(entry_point):
     def __maybe_mark_ineligible(def_or_value):
         local_id = get_local_id(def_or_value)
         if local_id is not None:
-            ineligible_local_ids.add(value.variable.node_id)
+            ineligible_local_ids.add(local_id)
 
     for block in cfg_ir.get_all_blocks(entry_point):
         for definition in block.definitions + [block.flow]: