ifappendMarked_tlfalseMarked_is_emptyhdMarked_ifappendis_emptytlMarked_appendnilMarked_hdconsappendtruexll1l2is_empty(nil)trueis_empty(cons(x,l))falsehd(cons(x,l))xtl(cons(x,l))lappend(l1,l2)ifappend(l1,l2,l1)ifappend(l1,l2,nil)l2ifappend(l1,l2,cons(x,l))cons(x,append(l,l2))is_empty(nil)trueis_empty(cons(x,l))falsehd(cons(x,l))xtl(cons(x,l))lappend(l1,l2)ifappend(l1,l2,l1)ifappend(l1,l2,nil)l2ifappend(l1,l2,cons(x,l))cons(x,append(l,l2))Marked_append(l1,l2)Marked_ifappend(l1,l2,l1)Marked_ifappend(l1,l2,cons(x,l))Marked_append(l,l2)is_empty(nil)trueis_empty(cons(x,l))falsehd(cons(x,l))xtl(cons(x,l))lappend(l1,l2)ifappend(l1,l2,l1)ifappend(l1,l2,nil)l2ifappend(l1,l2,cons(x,l))cons(x,append(l,l2))Marked_append(l1,l2)Marked_ifappend(l1,l2,l1)Marked_ifappend(l1,l2,cons(x,l))Marked_append(l,l2)Marked_ifappend3Marked_append1Marked_ifappend(l1,l2,cons(x,l))Marked_append(l,l2)is_empty(nil)trueis_empty(cons(x,l))falsehd(cons(x,l))xtl(cons(x,l))lappend(l1,l2)ifappend(l1,l2,l1)ifappend(l1,l2,nil)l2ifappend(l1,l2,cons(x,l))cons(x,append(l,l2))Marked_append(l1,l2)Marked_ifappend(l1,l2,l1)