
//assign_test_main
lhs       rhs1      fn        rhs2      trans    step    fu      path     fork    level    loop    cnct    cmp     
a         1                             aa       1       0       0        0       0        0       1       0       
x         1                             xa1      1       0       0        0       0        0       1       0       
vv        v                             vva1     1       0       0        0       0        0       1       0       
cmp       100       >=        x         cmp      2       0       0        0       0        1       2       1       
vv        vv        *         2         vva2     3       1       0        0       0        1       3       1       
x         x         +         1         xa2      3       1       0        0       0        1       3       1       
r         vv        +         a         ra       3       1       0        0       0        0       4       1       

