mapt F leaf Y leaf F Y mapt G node V node maptlist G V maptlist I nil nil maptlist J cons X1 Y1 cons mapt J X1 maptlist J Y1 F a a Y a G a a V c I a a J a a X1 b Y1 c cons b c c leaf a b mapt a a b b maptlist a a c c nil c node c b FULL benchmarks/applicative/AotoYamada_05__022.atrs