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.