code: def make_solver():
      solver = relay.analysis._ffi_api._test_type_solver()
      solver.Solve = solver("Solve")
      solver.Unify = solver("Unify")
      solver.Resolve = solver("Resolve")
      solver.AddConstraint = solver("AddConstraint")
  
      def gen_type(name, args, out=None):
          out = out if out else relay.ty.IncompleteType()
          solver.AddConstraint(make_rel(name, args + [out]))
          return out
  
      solver.gen_type = gen_type
      return solver
  
imports: import tvm
  from tvm import relay
  from tvm.relay import testing
  import pytest
  import numpy
label_desc: Use image node_id 2 for calling a global function with example usage: make_solver() and returns: solver, out