\suppress({the following should fail to evaluate})\
\fseq(\add(\a \a) \def(a 0 1))