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