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