fixed incorrect K Abstract Machine instructions ...

... caused by cells injected under KItems in rules.

For example:```rule <k> loadObj(<threads> G:Bag </threads>) => . ...</k>```

@dwightguth please review