value flow: use more specific bailouts when analysing value flow after assignment