7.5.1 依赖定向回溯