using xinyu's pt analysis to do OndemandWorklist for on-the-fly call graph construction