Fixed #4942 (1.61 is very slow (compared to 1.60.1))
Ticket #4959: Simplify {in,de}crements of known variables.
Merge pull request #163 from simartin/ticket_4959

Ticket #4959: Simplify {in,de}crements of known variables.