Renaming of CLauses methods