Added extra assert in testAdd