Verified Policy Conflicts