Characteristic predicate CharLiteral :: CharLiteral
CharLiteral
(
)