Upgraded Whiley compiler to v.0.3.31.
Updated test cases.