let fprint_synchronizability_cstr ff (Synchronizability ((c_x, p_x), (c_y, p_y))) = Format.fprintf ff "@[%a on %a@] |><| @[%a on %a@]" fprint_word_var c_x fprint_pbw p_x fprint_word_var c_y fprint_pbw p_y