code: def test_detect_cs():
      x = T.Var("x", dtype="int32")
      y = T.Var("y", dtype="int32")
      z = T.Var("z", dtype="int32")
      c = T.floor(x + y + 0.5) + x + z * (T.floor(x + y + 0.5))
      m = tvm.arith.detect_common_subexpr(c, 2)
      assert c.a.a in m
      assert m[c.a.a] == 2
  
imports: import tvm
  import tvm.testing
  from tvm.script import tir
label_desc: Use image node_id 1 for calling a global function with example usage: test_detect_cs() without return types