Bug in tainting graph construction: keep the previous construction but rewrite the dfs traversal.