     0 :   4 : 2|_>(y[1]*v(l(x[1])))
     0 :   1 : 2|_>(y[1]*v(x[1]))
     0 :   1 : 1|_>(y[1]*v(l(x[1])))
     0 :   4 : 2|_>(y[1]*v(l(x[1])))

