le 0 y true le s x 0 false le s x s y le x y int x y if le x y x y if true x y cons x int s x y if false x y nil le 2 0 0 true 0 s 1 false 0 int 2 if 3 cons 2 nil 0 FULL ./TRS/SchneiderKamp/trs/thiemann27.trs