Refined tests of addition function