ValueFlow: Improved analysis after switch