List.fold_left (G.pred_e graph node) ~init:None
      ~f:(fun current_max elem_p ->
          Some (max
                  (Option.value current_max ~default:elem_p)
                  elem_p))