app app app if true x y x app app app if false x y y app app app until p f x app app app if app p x x app app app until p f app f x app 2 if 0 true 0 false 0 until 0 FULL ./TRS/higher-order/AotoYam/003.trs