Do not try to access information of a removed server
merge michel_2503_unsatisfiable_goals in next