f tt x f isNat x s x isNat s x isNat x isNat 0 tt f 2 tt 0 isNat 1 s 1 0 0 FULL TRS//AProVE_10/isNat.trs