moved isPredicateLabel from MetaK to KLabelConstant

@dwightguth: is this what you proposed?