predMarked_appsum0Marked_sumnilsMarked_plusconsplusMarked_predappyxlkapp(nil,k)kapp(l,nil)lapp(cons(x,l),k)cons(x,app(l,k))sum(cons(x,nil))cons(x,nil)sum(cons(x,cons(y,l)))sum(cons(plus(x,y),l))sum(app(l,cons(x,cons(y,k))))sum(app(l,sum(cons(x,cons(y,k)))))plus(0,y)yplus(s(x),y)s(plus(x,y))sum(plus(cons(0,x),cons(y,l)))pred(sum(cons(s(x),cons(y,l))))pred(cons(s(x),nil))cons(x,nil)app(nil,k)kapp(l,nil)lapp(cons(x,l),k)cons(x,app(l,k))sum(cons(x,nil))cons(x,nil)sum(cons(x,cons(y,l)))sum(cons(plus(x,y),l))sum(app(l,cons(x,cons(y,k))))sum(app(l,sum(cons(x,cons(y,k)))))plus(0,y)yplus(s(x),y)s(plus(x,y))sum(plus(cons(0,x),cons(y,l)))pred(sum(cons(s(x),cons(y,l))))pred(cons(s(x),nil))cons(x,nil)Marked_app(cons(x,l),k)Marked_app(l,k)Marked_sum(cons(x,cons(y,l)))Marked_sum(cons(plus(x,y),l))Marked_sum(cons(x,cons(y,l)))Marked_plus(x,y)Marked_sum(app(l,cons(x,cons(y,k))))Marked_sum(app(l,sum(cons(x,cons(y,k)))))Marked_sum(app(l,cons(x,cons(y,k))))Marked_app(l,sum(cons(x,cons(y,k))))Marked_sum(app(l,cons(x,cons(y,k))))Marked_sum(cons(x,cons(y,k)))Marked_plus(s(x),y)Marked_plus(x,y)Marked_sum(plus(cons(0,x),cons(y,l)))Marked_pred(sum(cons(s(x),cons(y,l))))Marked_sum(plus(cons(0,x),cons(y,l)))Marked_sum(cons(s(x),cons(y,l)))app(nil,k)kapp(l,nil)lapp(cons(x,l),k)cons(x,app(l,k))sum(cons(x,nil))cons(x,nil)sum(cons(x,cons(y,l)))sum(cons(plus(x,y),l))sum(app(l,cons(x,cons(y,k))))sum(app(l,sum(cons(x,cons(y,k)))))plus(0,y)yplus(s(x),y)s(plus(x,y))sum(plus(cons(0,x),cons(y,l)))pred(sum(cons(s(x),cons(y,l))))pred(cons(s(x),nil))cons(x,nil)Marked_sum(app(l,cons(x,cons(y,k))))Marked_sum(app(l,sum(cons(x,cons(y,k)))))app210plus20cons210s0nil0Marked_sum1000sum30pred20app(nil,k)kapp(l,nil)lapp(cons(x,l),k)cons(x,app(l,k))sum(cons(x,nil))cons(x,nil)sum(cons(x,cons(y,l)))sum(cons(plus(x,y),l))sum(app(l,cons(x,cons(y,k))))sum(app(l,sum(cons(x,cons(y,k)))))plus(0,y)yplus(s(x),y)s(plus(x,y))sum(plus(cons(0,x),cons(y,l)))pred(sum(cons(s(x),cons(y,l))))pred(cons(s(x),nil))cons(x,nil)Marked_app(cons(x,l),k)Marked_app(l,k)Marked_app1Marked_app(cons(x,l),k)Marked_app(l,k)app(nil,k)kapp(l,nil)lapp(cons(x,l),k)cons(x,app(l,k))sum(cons(x,nil))cons(x,nil)sum(cons(x,cons(y,l)))sum(cons(plus(x,y),l))sum(app(l,cons(x,cons(y,k))))sum(app(l,sum(cons(x,cons(y,k)))))plus(0,y)yplus(s(x),y)s(plus(x,y))sum(plus(cons(0,x),cons(y,l)))pred(sum(cons(s(x),cons(y,l))))pred(cons(s(x),nil))cons(x,nil)app(nil,k)kapp(l,nil)lapp(cons(x,l),k)cons(x,app(l,k))sum(cons(x,nil))cons(x,nil)sum(cons(x,cons(y,l)))sum(cons(plus(x,y),l))sum(app(l,cons(x,cons(y,k))))sum(app(l,sum(cons(x,cons(y,k)))))plus(0,y)yplus(s(x),y)s(plus(x,y))sum(plus(cons(0,x),cons(y,l)))pred(sum(cons(s(x),cons(y,l))))pred(cons(s(x),nil))cons(x,nil)Marked_sum(cons(x,cons(y,l)))Marked_sum(cons(plus(x,y),l))app210plus10cons110s0nil0Marked_sum2000sum20pred20app(nil,k)kapp(l,nil)lapp(cons(x,l),k)cons(x,app(l,k))sum(cons(x,nil))cons(x,nil)sum(cons(x,cons(y,l)))sum(cons(plus(x,y),l))sum(app(l,cons(x,cons(y,k))))sum(app(l,sum(cons(x,cons(y,k)))))plus(0,y)yplus(s(x),y)s(plus(x,y))sum(plus(cons(0,x),cons(y,l)))pred(sum(cons(s(x),cons(y,l))))pred(cons(s(x),nil))cons(x,nil)Marked_plus(s(x),y)Marked_plus(x,y)Marked_plus1Marked_plus(s(x),y)Marked_plus(x,y)app(nil,k)kapp(l,nil)lapp(cons(x,l),k)cons(x,app(l,k))sum(cons(x,nil))cons(x,nil)sum(cons(x,cons(y,l)))sum(cons(plus(x,y),l))sum(app(l,cons(x,cons(y,k))))sum(app(l,sum(cons(x,cons(y,k)))))plus(0,y)yplus(s(x),y)s(plus(x,y))sum(plus(cons(0,x),cons(y,l)))pred(sum(cons(s(x),cons(y,l))))pred(cons(s(x),nil))cons(x,nil)