Let's say I'm installing a compiled selinux policy on linux, like a.pp. I run semodule -i a.pp, which fails with a message like Failed to resolve typeattributeset statement at /etc/selinux/targeted/tmp/modules/400/a/cil:713 semodule: Failed! How can I debug