; @origtpdbfilename ./TRS/relative/rtL-wl1o.trs
; @xtcfilename "./TRS_Relative/Relative_05/rtL-wl1o.xml"
(format TRS)
(fun new 1)
(fun old 1)
(fun bot 0)
(fun check 1)
(fun top 1)
(rule (top (old x)) (top (check x)))
(rule (top (new x)) (top (check x)))
(rule bot (new bot) :cost 0)
(rule (check (new x)) (new (check x)) :cost 0)
(rule (check (old x)) (old (check x)) :cost 0)
(rule (check (old x)) (old x) :cost 0)