Fixed a store pruning bug that cause precision loss (post fixpoint run
now only propagate pruned information). Also switch updateTrace()
instead of trace->update() and trace->updateOnCall() to compute next
traces (updateTrace() has caching behavior). Fixed a bug that failed to
update memo at post fixpoint time.