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 ([], [])