let fprint_synchronizability_cstrs ff cstrs =
  Format.fprintf ff "{@[<hov 1> %a@] }"
    (fprint_list ";@\n" fprint_synchronizability_cstr) cstrs