Term.Narrowing.Variants
computeVariantsCheck