Fix for mid-solving clause adding