app app app if true x y x app app app if true x y y app app takeWhile p nil nil app app takeWhile p app app cons x xs app app app if app p x app app cons x app app takeWhile p xs nil app app dropWhile p nil nil app app dropWhile p app app cons x xs app app app if app p x app app dropWhile p xs app app cons x xs app 2 if 0 true 0 takeWhile 0 nil 0 cons 0 dropWhile 0 FULL ./TRS/higher-order/AProVE_HO/TakeDropWhile.trs