Begin the loop identification process with the data structures and fundamental methods of back edge discovery.
