Updating benchmark suite to the new version of Whiley and the new language syntax.