Title: Dependent defects and aspects of efficiency in model-based diagnosis