Symbolic techniques in neural network based fault diagnosis of analog circuits