Added support for and test case of message generation for integer addition