Want to test this simple Multi functions Relay IR text, got an error

I have a more complicate IR script for a company task. But at the end I found seems TVM doesnt support multi functions in a Relay IR modules

This is my handwrite Relay IR text for test

And I try to build it by fromcontext(), got an error

0: tvm::WarnIfMalformed(tvm::IRModule const&, tvm::relay::Function) at /home/ddu/work/tvm/src/ir/module.cc:191 File “/home/ddu/work/tvm/src/ir/module.cc”, line 191 TVMError:

An error occurred during the execution of TVM. For more information, please see: Handle TVM Errors — tvm 0.13.dev0 documentation

Check failed: fv.size() == 0 (3 vs. 0) : Function: fn (%x: int32) { free_var %x1: int32; free_var %y: int32; %0 = add(%x1, %y) /* from_string /; free_var %z: int32; add(%0, %z) / from_string */ } contains free variables: [Var(x, ty=TensorType([], int32)), Var(y, ty=TensorType([], int32)), Var(z, ty=TensorType([], int32))]

Then I changed it to let style

got another error