AVA: Supporting Debugging with Failure Interpretations