Debugging the checker