Adding implementation to loop analysis.