| Tests that when values predicted but not proven int are used in a tower of additions, we don't eliminate the overflow check unsoundly. | |
| On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE". | |
| Passed some tests silently. | |
| TEST COMPLETE | |