Symbol: nbr_phi_operands