appappandtruetruetrueappappandxfalsefalseappappandfalseyfalseappapportrueytrueappapporxtruetrueappapporfalsefalsefalseappappforallpniltrueappappforallpappappconsxxsappappandapppxappappforallpxsappappforsomepnilfalseappappforsomepappappconsxxsappapporapppxappappforsomepxsapp2and0true0false0or0forall0nil0cons0forsome0FULL./TRS/higher-order/AotoYam/012.trs