Polynomials.NonNegativeNonTopPolynomial
type t
val polynomial_traces : t -> (string * Absint.Errlog.loc_trace) list