1. A method of propagating a signal through a representation of a circuit design, the method comprising: if an element in the circuit design is not currently identified with any signal passing therethrough, identifying a first tuple with the element; wherein the first tuple comprises at least a name of said signal and sequential depth of the element through which said signal is being propagated; if the element in the circuit design is currently identified with at least another tuple, checking if every tuple currently identified with the element differs from the first tuple in the name of said signal; and if the result of checking is true, identifying the first tuple with the element, in addition to every tuple currently identified with the element.