; @author Raul Gutierrez
; @author Salvador Lucas
; @cops 926
(format CTRS oriented :problem infeasibility)
(fun a 0)
(fun b 0)
(fun c 0)
(fun d 0)
(fun e 0)
(rule a a (= b x) (= c x))
(rule b d (= d x) (= e x))
(rule c d (= d x) (= e x))
(infeasible? (= b x) (= c x))