Incremental validation of policy-based systems