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

(fun fact 1 :sort (Int  Int))

(rule (fact  x) 1 :guard (<= x 0))
(rule (fact  x) (*  (fact  (-  x 1)) x) :guard (>= (- x 1) 0))