Cleanup k item constructor

Clean up dead code introduced in test generation; remove performance bottleneck of the new rewrite algorithm.
Because ```definition.sortPredicateRulesOn(kLabelConstant)``` will return the user-defined sort predicate rules on a given ```KLabelConstant```.