Bounds inference walks inside of lets that don't 
depend on the pending bounds results.

Results in better simplification.