Fixed a bug in GraphOptimizer that may destroy merge point
Fixed a bug in Worklist that may cause the insertion of the same trace
more than once
Also existing test reveals that store pruning structs need further performance
optimization.