Step 12. Adding test for requirement R2
Step 13. Removing conditional rule
Step 14. Adding verification for requirement R4