We need to refresh all name states after backtracking as options
that were excluding due to topology ordering might have become
available.