This fixes PR33357.
After a rewrite done by jump-threading, the code can contain instructions
%0 = and i1 %0, %1
in basic blocks that are not reachable from the entry. This is valid
according to the verifier, but LazyValueInfo entered infinite recursion
when analyzing it.
Now we add an initial pessimistic result to the Visited map before doing
the recursive call, so if we find ourselves during the analysis it will