4.12 case中的守卫语句