A TargetSolver might have its configuration updated multiple times, if the same
solver type was chosen for different divergences (solver_decisions).

We must take care not to overwrite configuration from earlier updates with the
data from later ones.