; @origtpdbfilename ./TRS/TRCSR/Ex16_Luc06_iGM.trs
; @xtcfilename "./TRS_Standard/Transformed_CSR_04/Ex16_Luc06_iGM.xml"
(format TRS)
(fun active 1)
(fun f 2)
(fun mark 1)
(fun a 0)
(fun b 0)
(rule (active (f X X)) (mark (f a b)))
(rule (active b) (mark a))
(rule (mark (f X1 X2)) (active (f (mark X1) X2)))
(rule (mark a) (active a))
(rule (mark b) (active b))
(rule (f (mark X1) X2) (f X1 X2))
(rule (f X1 (mark X2)) (f X1 X2))
(rule (f (active X1) X2) (f X1 X2))
(rule (f X1 (active X2)) (f X1 X2))