prodigy.analysis.evtinvariants.heuristics.positivityΒΆ Modules dominat_root_rejection heuristics_factory individual_sum_terms iterate_terms logical polynomial_positivity positivity rational_function