finished Problem, tested Problem, Seeder. fixed_dofs --> std::set