appappfilterfnilnilappappfilterfappappconsyysappappappfiltersubappfyfappappconsyysappappappfiltersubtruefappappconsyysappappconsyappappfilterfysappappappfiltersubfalsefappappconsyysappappfilterfysapp2filter0nil0cons0filtersub0true0false0FULL./TRS/higher-order/AotoYam/002.trs