Do not generate a predicate if we did not actually improve anything.
Improve range tracking in symbol table.

Can now also track the ranges of array elements.