Incremental Verification of Rule-Based Expert Systems