add pt analysis dfs (a worklist alg)