let synchronizability_and_precedence_cstrs_of_adjusted_adaptability_cstrs
    adaptability_cstrs =
  List.fold_right
    (fun adaptability_cstr (synchronizability_cstrs, precedence_cstrs) ->
      let synchronizability_cstr, precedence_cstr =
        split_adaptability_cstr adaptability_cstr
      in
      (synchronizability_cstr :: synchronizability_cstrs,
       precedence_cstr :: precedence_cstrs))
    adaptability_cstrs ([], [])