On the relationship between model-based debugging and program slicing