Gravar e-mail: Decision procedure for indefinite hypergeometric summation