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