detecting backedges ...