指称语义：if控制语句