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

Hello,

This patch is a follow-up to the remark done on the fix for ticket #4708, and properly simplifies {in,de}crements of known variables. Please consider merging.

Best regards,
  Simon