Fixed #5401 (value flow: fp when there are increment/decrement)