plus x y if isZero x y s plus p x y isZero 0 true isZero s x false p s x x if true x y x if false x y y plus 2 1 2 if 3 1 isZero 1 1 s 1 1 p 1 1 0 0 true 0 false 0 FULL ./TRS/aprove08-csr/emmes.trs