pub fn set_minion_discrete_threshold(threshold: Option<usize>)
Pins Minion’s domain threshold, or leaves it to the modelling heuristic.