Describir: Fault Diagnosis in Analog Circuits via Symbolic Analysis Techniques