Symbol: graph_transition_propagate