语义分析2-Analyser(变量自动初始化 检查先定义后使用)