fn push_scalar_value_candidates( value: &DynSolValue, candidates: &mut Vec<DynSolValue>, limit: usize, )