在选择性分支中转移到各分支的转换条件必须是各分支之间互相排斥。