Herbrand_model loading ...