Partial implementation on CFG Slicer (data dependencies only)