Thank you for answering.
As you might read in NLHTaP where the SC has first been exposed if I'm not wrong, page 222, there is an 'Adjusting for an Ante' paragraph.
Of course, as you said, we intuitively know than we can push a bit wider than the SC say in case the ante exist.
More precisely, as explained in the book, you now have to compare the ((blinds+Ante)*SCnumber)/3 to the Effective Stack, instead of directly compare the SC to the effective stack.
There is a small (but not completely negligible) difference, for instance, at 100/200 with A2o, you can push with 4517, at 100/200/25 you can push with 5270.
I'm just saying, not criticizing your GREAT work
.
Thanks again.