They discovered carpenter ants in the demolition of the addition. I would have thought they would bring in an exterminator to find and eradicate the nest as Carpenter Ants will move their nest if they are disturbed - and relocate somewhere else - perhaps further within the existing home (or a neighbor's home).