An efficient relevant slicing method for debugging