Gravar-mail: Decision procedure for indefinite hypergeometric summation