Constant parse_next_solver_config 

pub(crate) const parse_next_solver_config: &str = "either `globally` (when used without an argument), or `coherence` (default)";