Add support for Whiley properties.
Add support for Whiley properties.

These are translated to boolean functions in Boogie.
(Unlike other functions that all return WVal results).

utting/whiley2boogie,utting/whiley2boogie,utting/whiley2boogie