append@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2subtrees@tsubtrees#1@tsubtrees#1leafnilsubtrees#1node@x@t1@t2subtrees#2subtrees@t1@t1@t2@xsubtrees#2@l1@t1@t2@xsubtrees#3subtrees@t2@l1@t1@t2@xsubtrees#3@l2@l1@t1@t2@x::node@x@t1@t2append@l1@l2append2append#12::2nil0subtrees1subtrees#11leaf0node3subtrees#24subtrees#35INNERMOSTtct_complexity/raML/subtrees.raml.trs