app app plus 0 y y app app plus app s x y app s app app plus x y app app times 0 y 0 app app times app s x y app app plus app app times x y y app inc xs app app map app plus app s 0 xs app double xs app app map app times app s app s 0 xs app app map f nil nil app app map f app app cons x xs app app cons app f x app app map f xs app 2 plus 0 0 0 s 0 times 0 inc 0 map 0 double 0 nil 0 cons 0 FULL ./TRS/higher-order/AotoYam/021.trs