Characteristic predicate NoConstantsOnly::ConstantField::ConstantField

ConstantField()