let fprint_precedence_cstr ff (Precedence ((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