Fix NormalizeToSubset creating duplicate decomp_N symbols - #216

Draft

tiagolascasas with Copilot wants to merge 4 commits into

copilot/fix-normalize-to-subset-duplicates

Commits on Nov 5, 2025

Initial plan
Copilot
committed
be36240
Fix NormalizeToSubset creating duplicated symbols

Copilot
and
tiagolascasas
committed
46e68e5
Add documentation and examples for NormalizeToSubset changes

Copilot
and
tiagolascasas
committed
7af746e
Improve symbol table management to handle multiple functions

Copilot
and
tiagolascasas
committed
84599a7