Navegando: A Symbolic Analysis of Relay and Switching Circuits