2
natadd (ZERO, ZERO)
TA_Result ZERO
2
natadd (ZERO, (SUCC (SUCC ZERO)))
TA_Result (SUCC (SUCC ZERO))
2
natadd ((SUCC (SUCC ZERO)), (SUCC (SUCC (SUCC ZERO))))
TA_Result (SUCC (SUCC (SUCC (SUCC (SUCC ZERO)))))
2
natmul (ZERO, (SUCC (SUCC ZERO)))
TA_Result ZERO
2
natmul ((SUCC (SUCC ZERO)), (SUCC (SUCC (SUCC ZERO))))
TA_Result (SUCC (SUCC (SUCC (SUCC (SUCC (SUCC ZERO))))))