WyRL: StrategyRewriter now compiles and (potentially) could work.  #382
WyRL: StrategyRewriter now compiles and (potentially) could work.  #382

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