Try VerCors online

Does the following program verify?

Note, verification may take a while and has a time-out of 20 seconds.