判断题在if（条件）-then-else分支结构对应的机器级代码的表示中，计算条件的代码一定在条件转移之前。
判断题在if-then-else分支结构对应的机器级代码的表示中，一定包含一条条件转移指令。
