Added a dump file.
Added test function for test a crash in Pattern Matcher.