You are missing my point.
I’m not saying you are wrong.
I’m saying that “automatic” penalties or other provisions in the law are useless.
It’s all well and good to say that Bergoglio isn’t Pope, as long as there is evidence that that is so. And there’s plenty of evidence.
How does that help the Church get rid of him? It doesn’t.
Perhaps if more and more faithful Catholics (especially the clergy) actually spoke the obvious truth about him, something would change. Not doing so certainly won't bring about change.
Those who sit by and say "there is nothing we can do..boo hoo" are just part of the bigger problem: which is that we don't have a true pope.