4.9.1 假设分支不发生