|Maintainer||Benedikt Schmidt <email@example.com>|
Computing and checking the variants of a term.
variantsListCheck ts computes all variants of
ts considered as a single term
without a bound or symmetry substitution. Before returning the result, it checks
if the set of variants is complete and minimal. If that is not the case, it
fails with an error