kframework/k — pull request #1097 by yilongli (2014-10-23 18:30:39+00:00)
Title: replaced some assertions with K exceptions

fixed https://github.com/kframework/k/issues/1088

@dwightguth please review