■
とりあえず、三番地文までできたよー。
*Parse> test toplev "module a; machine x | int x | int y { y = 9; if ( y== x+y ) { y=20; } }"
("a",[("x",[(state,"x",int,0),(state,"y",int,1)],[(state,"y",int,1) = 9,
branch:
[(local,"T",int,2) = ((int,+) (state,"x",int,0) (state,"y",int,1))]
condition:: ((int,==) (state,"y",int,1) (local,"T",int,2))
[(state,"y",int,1) = 20]
[]
])])大体、そんな感じ。（全然わからんけど）
