Enhanced PreciseCallGraph. Now the reaching def analysis has some
strange behaviors. Need further investigation.