代码检查：用空行分隔控制转移语句

此检查会验证 代码格式规则。