Sort arcs before unifying a proto_node.