The word problem for $\omega$-terms over $\sf DA$