app id x x app plus 0 id app app plus app s x y app s app app plus x y app 2 id 0 plus 0 0 0 s 0 FULL ./TRS/higher-order/AotoYam/023.trs