-
Proper sidefx detection in
structuring::sidefx_remover -
Implement congruence analysis
-
(Option to) declare variables on first use if possible
-
Callgraph analysis to find function sidefx and enable better propagation of globals, memory and calls
-
Type recovery