Debugging ASP: Troubleshooting for Programmers