The use of symbolic methods in the full automation of analog circuit fault location