Tainting graph construction improvement.