kframework/k — pull request #565 by cos (2014-06-08 19:34:32+00:00)
Title: Refactoring of TermContext

**do not review yet**