Evaluating Model-Based Diagnosis For Wireless Sensor Networks