; @author Raul Gutierrez
; @author Salvador Lucas
; @cops 914
(format CTRS oriented :problem infeasibility)
(fun a 0)
(fun b 0)
(fun f 1)
(fun g 1)
(rule a b)
(rule (f a) b)
(rule (g x) (g a) (= (f x) x))
(infeasible? (= (f x) x))