code: def deduce_bound(var, cond, hint_map, relax_map):
      """Deduce the bound of the target variable in the cond.
  
      Parameters
      ----------
      var : Var
          The target variable to be deduced.
  
      cond : PrimExpr
          The condition
  
      hint_map : Map[Var, IntSet]
          Domain of variables used to help deduction.
  
      relax_map : Map[Var, IntSet]
          The fomain of the variables to be relaxed
          using the provided domain.
      """
      return _ffi_api.DeduceBound(var, cond, hint_map, relax_map)
  
label_desc: Use image node_id 1 for calling a global function with example usage: deduce_bound(var, cond, hint_map, relax_map) and returns: _ffi_api