More refined check for enumeration width and constant width