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 []