Semantics analysis之while loop

重要概念。。写在上面的是前提前提前提。。。刷题刷多了 有时候看到跟自己长一样的function会自动想到递归。。。

基础版本：

1. 是不是condition false的必须写在Top，这样condition 为true的才能reference到这个？

2. while e1 loop e2 pool: void s3 的前提是while e1 loop e2 pool : void, s3

while true...进去执行一波，然后进入下一个while e1 loop e2...

进阶：

看Loop-false的情况: 前提是while e1 loop e2 pool: v3, S3 。 也就是不管接下来几轮while成啥样都return Int(1) 

难。。应该是最后一大题级别的。

这里实现了一个counter, 如果循环偶数次 return mod 2也就是0. 如果循环奇数次 mod 2 =1. 

然后注意前提： so, s, e|- while e1 loop e2 pool : Int(1), s3

也就是说如果上一轮是奇数，这一轮就是偶数了！

如果mod 的数不是2，而是很大的话。或许需要return 一个counter i. 然后 i mod n之类的