graph_update_saturation_degrees() impelemented.