ValueFlow: Improved analysis of assignments