\newcommand\choice{\textit{choice}}
\newcommand\state{\textit{state}}
\newcommand\fram{\textit{frame}}
\newcommand\wlp{\textit{wlp}}
\renewcommand\wp{\textit{wp}}
\newcommand\trm{\textit{trm}}
\newcommand\outcome{\textit{outcome}}
\newcommand\set{\textit{set}}
\newcommand\bool{\textit{bool}}
\newcommand\nat{\textit{nat}}
\newcommand\aexp{\textit{exp}}
\newcommand\bexp{\textit{bexp}}
\newcommand\ext{\textit{ext}}
\newcommand\exts{\textit{exts}}
\newcommand\exto{\textit{exto}}
\newcommand\extos{\textit{extos}}
\newcommand\unit{\textit{unit}}
\newcommand\units{\textit{units}}
\newcommand\unito{\textit{unito}}
\newcommand\unitos{\textit{unitos}}
\newcommand\seq{\textit{seq}}
\newcommand\skp{\textit{skip}}
\newcommand\magic{\textit{magic}}
\newcommand\while{\textit{while}}
\newcommand\iif{\textit{if}}
\newcommand\then{\textit{then}}
\newcommand\eend{\textit{end}}
\newcommand\ddo{\textit{do}}
\newcommand\prd{\textit{prd}}
\newcommand\frm{\textit{frame}}
\newcommand\rep{\textit{rep}}
\newcommand\repall{\textit{repall}}

\newcommand\Term{\texttt{Term}}
\newcommand\NonTerm{\texttt{NonTerm}}