[
  (edge_stmt)+
  (node_stmt)
] @fold