Formal study of vowel coalescence by Haas