summary-base flowto analysis, better for cyclic call graph