So between oxygen window and oxygen bubbles not being a problem, simply not counting seems to work well enough for all practical EAN mixes.
I agree putting O2 aside seems to have been empirically validated for shallow EAN dives, but maybe it is not that sounded for deeper trimix tek dive, and could be one of the reasons why most divers have to use a 20% gf... What is the relevance of a model when you have to apply an arbitrary cut that important on the results it gives ?