Added implementation for dealloc_map. 70 tests passing
Added implementation for dealloc_map.
70 tests passing

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