let simplified_adaptability_cstrs_of_adaptability_cstrs cstrs =
  List.fold_right
    (fun cstr acc ->
      match simplify_adaptability_cstr cstr with
      | None -> acc
      | Some cstr' -> cstr' :: acc)
    cstrs []