CacheType          75 src/CSE.cpp        CacheType numbering;
CacheType         116 src/CSE.cpp            CacheType::iterator iter = numbering.find(with_cache(e));