; @author Jonas Schöpf
; @author Aart Middeldorp
; @doi 10.48550/arXiv.2501.05240
; example 1
(format LCTRS)
(theory Ints)

(fun max (-> Int Int Int))

(rule (max x y) x :guard (>= x y))
(rule (max x y) y :guard (>= y x))