Rename ITE to ITE_clauses