Fixed a bug on parent_to_startchild because each parent node contain multiple start child nodes due to existence of concurrent regions; deleted redundant files
A new slicer on CFG graph. Need to design the algorithm first.