Add new test case
Add new test case

This adds a test case related to a theorem prover bug.  This bug is
somehow related to non-linear arithmetic, but the example does not
illustrate any non-linear arithmetic.

Whiley/WhileyCompiler