Step 11. Identifying gaps in requirement coverage
Step 12. Adding test for requirement R2
Step 13. Removing conditional rule
Step 14. Adding verification for requirement R4
Step 15. Eliminating duplication by defining default values