kframework/k — pull request #622 by cos (2014-06-17 14:52:16+00:00)
Title: Segregate data in rewriting

**do not review yet**