Policy rule class tests passing

[OliverWoolland]

• Example 25: Irreducible rule
• Example 26: 2 assets 2 action
• Example 27: 4 atomic rules
• Example 28: Compact policy
• Example 29: Shared property expansion