Added support for irreducible loops.