INTERCEPT: Policy as Code Static Analysis Auditing