autogenerate fresh names if an unregister symbol gets encountered