computational tree logic Synonyms