6.1.4 可用表达式分析