LEFT and RIGHT-ARC handle cycles and reentrancy with the exception of cycles of length 2 (which only involve i and b).
discussion to related work that relies on ad-hoc procedures, the proposed algorithm handles cycles and reentrant edges natively.