Seol mar théacs é seo: Policy Refinement Checking (extended abstract)