kframework/k — pull request #1044 by yilongli (2014-10-08 16:11:56+00:00)
Title: further improve code related to PatternMatcher

not ready for review