Static analysis of rules