Symbol: alloc_phi_node