Debugging the matcher