Term.Narrowing.Variants

computeVariantsCheck