How can I import the module "ethereum" in the ManticoreWASM?

[LinearMomentum]

I try to use the ManticoreWASM to analyze a wasm file compiled from solidity and I wrote the code

target = "test3.wasm"
m = ManticoreWASM(target)

I got the exception

 Traceback (most recent call last):
  File "/mnt/d/pythonProject/test2.py", line 106, in <module>
    state()
  File "/mnt/d/pythonProject/test2.py", line 86, in state
    m = ManticoreWASM(target)
  File "/home/mo/.local/lib/python3.6/site-packages/manticore/wasm/manticore.py", line 31, in __init__
    initial_state = _make_initial_state(path_or_state, env, sup_env, **kwargs)
  File "/home/mo/.local/lib/python3.6/site-packages/manticore/wasm/manticore.py", line 209, in _make_initial_state
    return _make_wasm_bin(binary_path, env=env, sup_env=sup_env, **kwargs)
  File "/home/mo/.local/lib/python3.6/site-packages/manticore/wasm/manticore.py", line 232, in _make_wasm_bin
    stub_missing=kwargs.get("stub_missing", True),
  File "/home/mo/.local/lib/python3.6/site-packages/manticore/platforms/wasm.py", line 333, in instantiate
    self.import_module(self.default_module, exec_start, stub_missing)
  File "/home/mo/.local/lib/python3.6/site-packages/manticore/platforms/wasm.py", line 169, in import_module
    imports = self.get_module_imports(module, exec_start, stub_missing)
  File "/home/mo/.local/lib/python3.6/site-packages/manticore/platforms/wasm.py", line 238, in get_module_imports
    i.module, exec_start, stub_missing
  File "/home/mo/.local/lib/python3.6/site-packages/manticore/platforms/wasm.py", line 161, in import_module
    raise RuntimeError("Missing imported module: " + module_name)
RuntimeError: Missing imported module: ethereum

How can I fix the bug? Any help will be appreciated!