Candidates for ds-kanren