ValueFlow: Handle division by zero better in abstract interpretation