Predicate Renaming via Large Language Models