From: @wangyanling10
Reviewed-by: 
Signed-off-by:

From: @liangzhibo
Reviewed-by: @zh_qh,@ginfung
Signed-off-by: @zh_qh

From: @wangshuide2020
Reviewed-by: @liangchenghui,@wuxuejian
Signed-off-by: @liangchenghui

From: @liangzhibo
Reviewed-by: @ginfung,@zh_qh,@ginfung
Signed-off-by: @zh_qh

2.update the input of Slice
3.update the example of Unstack.

From: @xcnick
Reviewed-by: 
Signed-off-by:

From: @lianliguang
Reviewed-by: @ginfung,@zh_qh
Signed-off-by: @zh_qh

From: @peilin-wang
Reviewed-by: @liangchenghui,@tom__chen
Signed-off-by: @liangchenghui,@tom__chen

From: @mind-lh
Reviewed-by: @liangchenghui,@wuxuejian
Signed-off-by: @liangchenghui

From: @wangshuide2020
Reviewed-by: 
Signed-off-by:

refined comments

From: @yepei6
Reviewed-by: 
Signed-off-by:

From: @wanyiming
Reviewed-by: 
Signed-off-by:

Signed-off-by: zhupuxu <zhupuxu@huawei.com>

From: @TFbunny
Reviewed-by: @tom__chen,@robingrosman
Signed-off-by: @robingrosman

From: @wangshuide2020
Reviewed-by: 
Signed-off-by:

From: @david-he91
Reviewed-by: @ljl0711,@liangchenghui
Signed-off-by: @liangchenghui

From: @zhupuxu
Reviewed-by: @zhunaipan,@kingxian
Signed-off-by: @kingxian

The basic idea is: exploits data dependency to control the execution order
of side-effect operations, and keep the semantics of ANF unchanged.

The ControlDepend primitive is removed and there are two primitives added:

1. UpdateState:
```
  a = Assign(para, value)
```
became:
```
  a = Assign(para, value, u)
  u = UpdateState(u, a)
```

2. Load:
```
  x = Add(para, value)
```
became:
```
  p = Load(para, u)
  x = Add(p, value)
  u = UpdateState(u, p)
```