ValueFlow: Improved abstract interpretation