Forward/Backward Slicing algo added