if len(choice) == 0 || len(trace) > 4 我的回溯终止条件写的这样也100%了呀