Value Flow: Improved abstract interpretation of arithmetical expressions