debugging the matcher