Characteristic predicate ReThrowExpr :: ReThrowExpr
ReThrowExpr
(
)