Implementing Loop information extraction.