WYCS: bug fix for the wyal files are generated from Whiley source files.