kframework/k — pull request #599 by yilongli (2014-06-15 04:38:20+00:00)
Title: cleanup KItem constructor

Not ready for review.