Successfully detect back-edges