This MR implements the EMPTY_MAP instruction in MIR.
A test was added for the instruction, being executed with cargo test
cargo test