Found some problems with union constraints already.  Just trying to figure out what the problem is.
Found some problems with union constraints already.  Just trying to figure out what the problem is.

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