Beyond Program Slicing