Added diagnostics for policy compilation