Question about simplify_cond_and_lookup_avail_expr

[Richard Kenner]

When looking at prev->low and prev->high, how do we know they've already
been computed?  Isn't the computation done lazily?