; @origtpdbfilename ./TRS/TRCSR/Ex4_4_Luc96b_GM.trs
; @xtcfilename "./TRS_Standard/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml"
(format TRS)
(fun a__f 2)
(fun g 1)
(fun mark 1)
(fun f 2)
(rule (a__f (g X) Y) (a__f (mark X) (f (g X) Y)))
(rule (mark (f X1 X2)) (a__f (mark X1) X2))
(rule (mark (g X)) (g (mark X)))
(rule (a__f X1 X2) (f X1 X2))