lenMarked_fstconsfromMarked_addfstaddMarked_from0sMarked_lennilXYZfst(0,Z)nilfst(s,cons(Y))cons(Y)from(X)cons(X)add(0,X)Xadd(s,Y)slen(nil)0len(cons(X))sfst(0,Z)nilfst(s,cons(Y))cons(Y)from(X)cons(X)add(0,X)Xadd(s,Y)slen(nil)0len(cons(X))s