[Certora Audit] G-10. ++i costs less gas compared to i++ or i+=1

[Certora Audit] G-10. ++i costs less gas compared to i++ or i+=1 #2272