I didn't know about `numbered_symbols`, my bad. For the moment, using it is a good way to do what we currently do in `merger_solution`.