Enhancing model-based diagnosis with multiple pseudo-normal observations by Key nodes and IterativeDFS | Synapse