YS
Size: a a a
NK
(args): \ & \langle K; A; call(ident, \overline{a}) \ \overline{t} \rangle & \to_1 \\
\noalign{\hfill\langle \langle K; A; ident(unseq\mbox{-}cs(?)) \ \overline{t} \rangle; (); \overline{a} \rangle\hspace{100pt}} \\NK
H
(args): \ & \langle K; A; call(ident, \overline{a}) \ \overline{t} \rangle & \to_1 \\
\noalign{\hfill\langle \langle K; A; ident(unseq\mbox{-}cs(?)) \ \overline{t} \rangle; (); \overline{a} \rangle\hspace{100pt}} \\AN
AN
AN
EZ
AN
YS
AN
AN