kframework/k — pull request #1172 by yilongli (2014-11-12 20:06:17+00:00)
Title: fixed incorrect K Abstract Machine instructions ...

... caused by cells injected under KItems in rules.

For example:```rule loadObj( G:Bag ) => . ...```

@dwightguth please review