Some test about pattern matcher in pattern miner.