; @origtpdbfilename ./TRS/TRCSR/Ex5_Zan97_C.trs
; @xtcfilename "./TRS_Standard/Transformed_CSR_04/Ex5_Zan97_C.xml"
(format TRS)
(fun active 1)
(fun f 1)
(fun mark 1)
(fun if 3)
(fun c 0)
(fun true 0)
(fun false 0)
(fun proper 1)
(fun ok 1)
(fun top 1)
(rule (active (f X)) (mark (if X c (f true))))
(rule (active (if true X Y)) (mark X))
(rule (active (if false X Y)) (mark Y))
(rule (active (f X)) (f (active X)))
(rule (active (if X1 X2 X3)) (if (active X1) X2 X3))
(rule (active (if X1 X2 X3)) (if X1 (active X2) X3))
(rule (f (mark X)) (mark (f X)))
(rule (if (mark X1) X2 X3) (mark (if X1 X2 X3)))
(rule (if X1 (mark X2) X3) (mark (if X1 X2 X3)))
(rule (proper (f X)) (f (proper X)))
(rule (proper (if X1 X2 X3)) (if (proper X1) (proper X2) (proper X3)))
(rule (proper c) (ok c))
(rule (proper true) (ok true))
(rule (proper false) (ok false))
(rule (f (ok X)) (ok (f X)))
(rule (if (ok X1) (ok X2) (ok X3)) (ok (if X1 X2 X3)))
(rule (top (mark X)) (top (proper X)))
(rule (top (ok X)) (top (active X)))