; @origtpdbfilename ./TRS/higher-order/AotoYam/019.trs
; @xtcfilename "./TRS_Standard/AotoYamada_05/019.xml"
(format TRS)
(fun app 2)
(fun comp 0)
(fun twice 0)
(rule (app (app (app comp f) g) x) (app f (app g x)))
(rule (app twice f) (app (app comp f) f))