plus 0 X X plus s Y U s plus Y U sumwith H nil nil sumwith I cons P X1 plus I P sumwith I X1 X b Y b U b H a b I a b P a X1 b 0 b cons a b b nil b plus b b b s b b sumwith a b b b FULL benchmarks/applicative/AotoYamada_05__004.atrs