Term.Narrowing.Variants.Check
checkComplete
checkMinimal
variantsFrom
isNormalInstance
leqSubstVariant