let adjusted_adaptability_cstrs_of_simplified_adaptability_cstrs cstrs =
  List.map
    (fun (Simpl_adaptability ((c, p1), (c2, p2))) ->
      Simpl_adaptability (adjust_size (c, p1) cstrs,
                          adjust_size (c2, p2) cstrs))
    cstrs