undo the optimizations, and change to the shared summary with propagating locals, need to test on benchmarks and then do optimizations