Characteristic predicate DeclStmtNode :: DeclStmtNode
DeclStmtNode
(
)