Symbol: is_nonsubgraph_leaf