Check if all the terminal value notations in an alternation denote values in a set.
(alternation-in-termset-p alternation termset) → yes/no
Function:
(defun alternation-in-termset-p (alternation termset) (declare (xargs :guard (and (alternationp alternation) (nat-setp termset)))) (or (endp alternation) (and (concatenation-in-termset-p (car alternation) termset) (alternation-in-termset-p (cdr alternation) termset))))