WyC: Added test case for #397
WyC: ammended test case for #396
Merge branch 'master' of github.com:DavePearce/Whiley into devel-wyautl
WyC: some additional tweaks