ignore self-references when determining non-traversed cycles (should we?)