6.18 对隐式分析的建议