A symbolic approach to the fault location in analog circuits