5.2.6 类型化分析