Characteristic predicate ExprStmtNode :: ExprStmtNode
ExprStmtNode
(
)