(meta-info (comment "Transformed and modified TRS from COPS 189.trs"))

(format LCTRS :logic QF_LIA)
(fun dbl 1 :sort (Int Int))

(rule (dbl 0) 0)
(rule (dbl (+ x 1)) (+ (dbl x) 2))
(rule (dbl (+ x y)) (+ (dbl x) (dbl y)))