ConstraintAnalysis fuzz bug: Do not AND after a branch is not taken (#9035)

If we prove a branch is not taken, we'd hit an internal error if we tried
to perform an AND with more constraints on it later. Once we are in
unreachable code, we must not do anything (and the caller will handle
that).