Cleanup k item constructor

Clean up dead code introduced in test generation; remove performance bottleneck of the new rewrite algorithm.
Would this work with a predicate like
rule isS(L:KLabel(_)) => true when L ==KLabel '_+_ orBool L ==KLabel '_-_