验证特点：变量不变式，宏定义，带命名行为的函数协议，归纳谓词

标注说明：1.constdeclaration函数验证的性质：单词流符合常量声明的语法规则，且符号表收集了常量名的各种属性。
　　　　　2.vardeclaration函数验证的性质：单词流符合变量声明的语法规则，且符号表中记录了变量名的各种属性。
　　　　　3.block、statement、condition、expression、term、factor函数验证的性质：单词流分别符合程序块、语句、条件表达式、表达式、项和因子的语法规则，且生成的对应中间代码结构正确