WYCS: tweaks for catching duplication generic variable declarations.
WYCS: tweaks for catching duplication generic variable declarations.

hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,Whiley/WhileyCompiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler