\newcommand{\DSL}{JSTQL }
\newcommand{\exProp}{\textbf{declare numerical literal}}
\newcommand{\discardBindings}{Discard Bindings }
\newcommand{\DSLSH}{JSTQL-SH }
\newcommand{\figFull}[1][missing]{Figure \ref{#1}}
\newcommand{\fig}[1][missing]{\ref{#1}}