WyC: tidying up the fixed-point computation.
WyC: tidying up the fixed-point computation.

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