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