app app app consif true x ys app app cons x ys app app app consif false x ys ys app app filter f nil nil app app filter f app app cons x xs app app app consif app f x x app app filter f xs app 2 consif 0 true 0 cons 0 false 0 filter 0 nil 0 FULL ./TRS/higher-order/AotoYam/028.trs