if else 改写ns图

怎么把这俩个程序改写成ns图，尤其是第一个程序中的x=-1是什么意思?

x=-1就是 x=x-1的缩写