verifieerbaarheid toevoegen aan de stack