experiment III

实现对声明、赋值、循环和分支的语义分析。