Characteristic predicate ConstantString :: ConstantString
ConstantString
(
)