Removed old methods for CLIF to TPTP translation