SAPDEC: A program devoted to automatic fault diagnosis of electric circuits