Added support for irreducible loops