An Efficient Relevant Slicing Method for Debugging