refine_cand works with "d0" but tries to return "d, cand".
refine_cand works with "d0" but tries to return "d, cand".