Characteristic predicate ForInitNode :: ForInitNode
ForInitNode
(
)