A library for property-based policy evaluation - View it on GitHub