Fixed #5403 (Value flow: FP because post increment/decrement is not handled correctly)