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