From Symptom to Cause: Localizing Errors in Counterexample Traces