Modify depends(Src, Dst, PossiblyLoopIndependent).