; @author Florian Messner
; @doi 10.1007/978-3-030-17462-0_15
; @cops 1141
; [155] Example 11
(format CTRS oriented :problem infeasibility)
(fun a 0)
(fun b 0)
(fun c 0)
(rule a b)
(rule a c)
(rule b c (= b c))
(infeasible? (= b c))