wp.txt verbeterd + bounded verification nu op basis van het aantal instructies in je programma

voor example bounded2 ligt het kantelpunt voor de constante bounded (zie
WP.ag) op 20 instructies (dan kan de loop namelijk precies één keer
uitgevoerd worden)