ValueFlow: Improved bailout when variable is reassigned