fix index out of bounds if the disprover is called on a sequent without hypotheses