model_based_diagnosis