Do exercise 'Slow Addition' in Hoare2