Ok, working on support for no {} and some {} quantifiers.
Ok, working on support for no {} and some {} quantifiers.

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