WYCS: working on understanding why Whiley_Valid_3 fails.
WYCS: bug fix for #282
WYCS: well I did some binding.