无副作用：
1. 如果是一个函数，不改变任何形式参数；
2. 不改变通过宿主或使用连接存取的变量的任何部分；
3. 用SAVE属性包含非局部变量
4. 对外不文件不进行操作；
5. 不包含STOP语句.
要求在FORALL中调用的过程.
严格的规则保证在编译时检查纯度.
适合说明表达式.
