; @author Raul Gutierrez
; @author Salvador Lucas
; @cops 916
(format TRS :problem infeasibility)
(fun a 0)
(fun b 0)
(fun c 0)
(fun f 2)
(rule (f x x) c)
(rule a b)
(rule b a)
(infeasible? (= (f a c) b))