Don wrote: > Range propagation is not implemented yet, except for a couple of > simple cases. I didn't realize that... those simple cases seem to do a fairly decent job!