Characteristic predicate ForStmtNode :: ForStmtNode
ForStmtNode
(
)