New tests towards Matching is added, though not enough. Bruteforce verification is added.