Example toegevoegd die gebruik maakt van quantoren in postconditie en return from anywhere.