Function push_child_value_candidates 

fn push_child_value_candidates(
    values: &[DynSolValue],
    candidates: &mut Vec<DynSolValue>,
    limit: usize,
    rebuild: impl Fn(&[DynSolValue]) -> DynSolValue,
)