let simplify_synchronizability_cstrs cstrs =
  List.map simplify_synchronizability_cstr cstrs