code: def test_add():
      assert prelude.mod[add].checked_type == relay.FuncType(
          [nat(), nat()], nat()
      )
      res = eval(add(s(z()), s(z())))
      assert count(res) == 2
  
imports: import pytest
  import tvm
  from tvm import relay
  from tvm.relay import testing
  from tvm.relay.backend.interpreter import ConstructorValue
  from tvm.relay import create_executor
  from tvm.relay.prelude import Prelude, StaticTensorArrayOps
  from tvm.relay.testing import count, make_nat_value, make_nat_expr
  import numpy
label_desc: Use image node_id 10 for calling a global function with example usage: test_add() without return types