Well, it generate a constraint!  But, it's not checking them yet, that's for sure.
Well, it generate a constraint!  But, it's not checking them yet, that's for sure.

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