with_cache        116 src/CSE.cpp            CacheType::iterator iter = numbering.find(with_cache(e));
with_cache        130 src/CSE.cpp            iter = numbering.find(with_cache(e));
with_cache        141 src/CSE.cpp            numbering[with_cache(e)] = number;