Improved TDD testing code for executeAdd