kframework/k — pull request #1021 by dwightguth (2014-09-30 20:05:14+00:00)
Title: clean up unparserfilternew to make it do less work that isn't printing

**do not review yet**