They blew up all of the Smileys even after they stopped being anti-mutant. The Council clearly wants to do more than just get rid of anti-mutant coding. They want the AI gone, period, to prevent any potential Nimrod scenario.
Which is why it's going to be a problem if anyone finds out Nanny took that baby Smiley.