\usepackage{tabularx}
\usepackage{longtable}
\usepackage{amsfonts}
+\usepackage{xspace}
\newcommand{\xmark}{\texttt{\textbf{x}}}
\newcounter{TCC}
\newcommand{\doTCC}{\theTCC \stepcounter{TCC}}
-\newcommand{\GAST}{G$\forall$ST}
+\newcommand{\GAST}{G$\forall$ST\xspace}
\lstset{%
breakatwhitespace=false, % sets if automatic breaks should only happen at whitespace