(meta-info (comment "Ctrl example from examples-transformed/ex_graph.ctrs"))
(format LCTRS :logic QF_LIA)

(fun f 1 :sort (Int  Unit))

(rule (f  x) (f  (-  0 x)) :guard (> x 0))