tetrachlorethylene Synonyms