Revisit `StratifiedRule` tests, once all rules are implemented

[Kukovec]

Not having access to all rewriting rules means we cannot write all of the meaningful test scenarios. Once we have all rules in place, we should go back and add additional tests.