Change back to slice. Now the steps are clear: in the first pass, we record data-flow slice; in the 2nd pass, we generate the usage CFG