app app filter f nil nil app app filter f app app cons y ys app app app filtersub app f y f app app cons y ys app app app filtersub true f app app cons y ys app app cons y app app filter f ys app app app filtersub false f app app cons y ys app app filter f ys app 2 filter 0 nil 0 cons 0 filtersub 0 true 0 false 0 FULL ./TRS/higher-order/AotoYam/002.trs