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