Bug fixes in --pattern-matching + increased error logging
fix yilong's comment
synchronize TaskQueue proc lists
Merge pull request #1196 from osa1/ktest-concurrency-bug

synchronize TaskQueue proc lists
Merge pull request #1194 from dwightguth/rewriter

Bug fixes in --pattern-matching + increased error logging