Term.Narrowing.Variants.Check

checkComplete

checkMinimal

variantsFrom

isNormalInstance

leqSubstVariant