Gravar-mail: Verifying Array Manipulating Programs with Full-Program Induction