Minor code cleaning
Bug fixes: Keep global addr-taken vars in store pruning. Keep malloced addr-taken
vars in garbage collection.