change sig2port in dfg_node from list to std::set