Ø (Overscript[(Underscript[⟶, init]), (Subscript[M, 0])])(Subscript[T, 0])(Overscript[(Underscript[⟶, eval]), (Subscript[M, 0]^′)   …   (Subscript[M, m']^′)])(Subscript[T, 1])(Overscript[(Underscript[⟶, eval]), (Subscript[M, 0]^″),  …   ,(Subscript[M, m'']^″)])(Subscript[T, 2])   …   (Overscript[(Underscript[⟶, eval]), (Subscript[M, 0]^((k))),  …   ,(Subscript[M, (m^((k)))]^((k)))])(Subscript[T, k])   …