did some debugging of the sped-up matcher