provide type cache to dataflow analysis