valueflow: better handling of increment/decrement