rename usedsymbols to mentionedsymbols