Comment 9 for bug 1801778

The circular referne code is to detect a cycle like admin->member->admin. It should be thrown at the implied-rule creation time. I suspect something has created an improper inference rule. Can you check?