code: def test_verify_ssa():
      x = te.var("x")
      y = te.var()
      z = tvm.tir.Evaluate(x + y)
      assert tvm.tir.analysis.verify_ssa(tvm.tir.PrimFunc([x, y], z))
  
      assert not tvm.tir.analysis.verify_ssa(
          tvm.tir.PrimFunc([x, y], tvm.tir.LetStmt(x, 1, z))
      )
  
imports: import tvm
  from tvm import te
label_desc: Use image node_id 1 for calling a global function with example usage: test_verify_ssa() without return types