Characteristic predicate CastingExpr :: CastingExpr
CastingExpr
(
)