This is fine in one line: `sols = [sol, constant_renumber(sol, 'C', 1, 4).expand()]`