Added reimplementation of addition using new tac visitor.