The bound follows from $SeparatingTypes$, since for a fixed tuple ū from $U$ the type of ā ū over $U$ is determined by the type of ā over $U$. A formula about ā ū becomes a formula about ā of the same quantifier rank when the variables for ū are replaced by the parameters ū.