Step 9. Test coverage
Step 10. Adding test for requirement R2.
Step 11. Eliminating duplication by defining default values
12. Adding verification for requirement R4
Step 13. Use of arbitrary type expressions for properties
Step 14. Use of oracles for calculating predictions
Step 15. Use of oracle for test coverage evaluation
Step 16. Breaking dependency of the oracle from the strategy.
Step 17. Moving strategy and oracle to separate files
Step 18. Splitting test strategy in smaller strategies
Editorial changes in  Tutorial