[Eva] Auto loop unroll: do not fail when a varinfo is not in scope.

The exit condition of a loop can refer to a temporary variable that is not in
scope at the beginning of the loop. In this case, the exit condition cannot be
properly evaluated in the entry state of the loop, unless the variable is
introduced into the state.