1. A method, performed by a processor, of identifying delta loops in a netlist that models a system, wherein the netlist comprises nodes connected by edges that represent elements in the system, and wherein a delta loop comprises three nodes connected by three edges, said method comprising: for each of a plurality of pairs of nodes in the netlist: generating a first binary tree comprising nodes that are connected in the netlist to a first node of the pair; generating a second binary tree comprising nodes that are connected in the netlist to a second node of the pair; determining nodes that are in an intersection of the first and second binary trees; and for every node in the intersection, identifying a delta loop as comprising the first node, the second node, and the node in the intersection.