Symbol: insert_phi_node