Translation based block cipher
Well, you probably cannot check this without a somewhat explicit specification of $\varphi.$ In general, if the key scheduling function has a simple structure, and if $|V|=|K|$ this becomes easier; In that case, if  $\varphi(h_0,\cdot)$ is a permutation you are done.