Fixed duplicated variable nodes
Added a dump file.
Added test function for test a crash in Pattern Matcher.
Merge pull request #788 from shujingke/PM

Some test about pattern matcher in pattern miner.