{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
/// be combined into a single out-edge, whose flow is the same as the flow
/// However, merging successor nodes means that a node's out-edges can all
/// (execution count) of its corresponding node in the original graph.