def METHOD_NAME(in_tuple):
    """Verifies input tuple is IntImm or Var, returns tuple of int or Var.
    Parameters
    ----------
    in_tuple : tuple of Expr
        The input.
    Returns
    -------
    out_tuple : tuple of int
        The output.
    """
    ret = []
    for elem in in_tuple:
        if isinstance(elem, expr.Var):
            ret.append(elem)
        elif not isinstance(elem, (expr.IntImm, int)):
            ana = tvm.arith.Analyzer()
            elem = ana.simplify(elem)
            if not isinstance(elem, (expr.IntImm)):
                ret.append(elem)
        else:
            ret.append(get_const_int(elem))
    return tuple(ret)