let simplify_precedence_cstrs choice cstrs =
  List.fold_right
    (fun cstr acc ->
      simplify_precedence_cstr choice.k choice.k' cstr @ acc)
    cstrs []