Abductive Validation of a Power-Grid Expert System Diagnoser