ConstraintAnalysis: Stop flowing in unreachable code (#9003)

Without doing so, we end up in asserts in various places, as we should
not be applying constraints in unreachable code.