As I said, the argument really shouldn't be about the theological aspect of ipso facto deposition. It's clear that the deposition must occur a priori to any judgment. Problem is more a practical one. Can Father Cekada's "Aunt Helen" simply wake up one morning and declare the Holy See vacant?
And then you have this situation.
Bergoglio: "[heretical statement]"
Cardinals/Bishops: "That's heretical."
Bergoglio: "No it's not."
Cardinals/Bishops: "Yes it is."
Bergoglio: "No it's not and I teach that it's not."
Then there are scenarios like the Arian one above, or let's say there's a heretical Pope out there, but there's a World War in progress and the Cardinals/Bishops can't convene any kind of Imperfect Council to make the declaration for several years. Is that heretic on the See really the pope until the Council can formalize it?
This is where the formal/material office distinction helps make sense of everything. Until the Church can make the declaration, the man would remain in material possession of the office and yet bereft of authority and "impounded", to use Father Chazal's expression.