; @author Naoki Nishida
; @cops 859
(format CTRS oriented :problem infeasibility)
(fun f 2)
(fun g 1)
(fun h 1)
(rule (f x' x'') (g x) (= x' x) (= x'' x))
(rule (f y' (h y'')) (g y) (= y' y) (= y'' y))
(infeasible? (= x1 x) (= (h x2) x) (= x1 x3) (= x2 x3))