MustBeInBase optimalization for DescAlg