the policy-weaver generator