Changed signature of addSymbol