Checked list in no_attached_boreholes