Removed code that generates labels of the form 'XXX' for predicates of the form 'hasXXX'