Decidable_problem loading ...