appappappiftruexyxappappappiftruexyyappapptakeWhilepnilnilappapptakeWhilepappappconsxxsappappappifapppxappappconsxappapptakeWhilepxsnilappappdropWhilepnilnilappappdropWhilepappappconsxxsappappappifapppxappappdropWhilepxsappappconsxxsapp2if0true0takeWhile0nil0cons0dropWhile0FULL./TRS/higher-order/AProVE_HO/TakeDropWhile.trs