code: def test_size():
      a = relay.TypeVar("a")
      lhs = prelude.mod[size].checked_type
      rhs = relay.FuncType([tree(a)], relay.scalar_type("int32"), [a])
      assert lhs == rhs
  
      root = rose(
          z(), cons(rose(z(), nil()), cons(rose(z(), nil()), nil()))
      )
      t = rose(z(), cons(root, cons(root, cons(root, nil()))))
      res = eval(size(t))
      assert get_scalar(res) == 10
  
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 31 for calling a global function with example usage: test_size() without return types