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