; @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))