Fixed a bug that caused integer overflow

Generate a decr operator for the update section of a loop if:
  * the loop init value equals to its limit value, and;
  * the condition operator is >=