; @author Jonas Schöpf
; @author Fabian Mitterwallner
; @author Aart Middeldorp
; @doi 10.1007/978-3-031-63501-4_16
; Example 2
(format LCTRS :smtlib 2.6)

(theory Ints)

(fun a Int)

(rule a x :guard (= x 0) :var ((x Int)))