app app app compose f g x app g app f x app reverse l app app reverse2 l nil app app reverse2 nil l l app app reverse2 app app cons x xs l app app reverse2 xs app app cons x l app hd app app cons x xs x app tl app app cons x xs xs last app app compose hd reverse init app app compose reverse app app compose tl reverse app 2 compose 0 reverse 0 reverse2 0 nil 0 cons 0 hd 0 tl 0 last 0 init 0 FULL ./TRS/higher-order/AProVE_HO/ReverseLastInit.trs