; @author Raul Gutierrez
; @author Salvador Lucas
; @doi 10.4230/LIPIcs.FSCD.2016.29
; @cops 934
; [90] Example 17
(format CTRS oriented :problem infeasibility)
(fun a 0)
(fun b 0)
(fun c 0)
(fun g 1)
(fun h 1)
(rule (h x) a)
(rule (g x) x)
(rule (g x) a (= (h x) b))
(rule c c)
(infeasible? (= (h x) b))