Ref.: #153

See here: simp_mem creates a malformed term under the hood, forcing the user to manually rewrite with Memory.read_bytes_write_bytes_eq_read_bytes_of_mem_separate'.