If a declarative shadow variable is sourced in a way that it inevitably ends up pointing back to itself, fail fast. Clearly document that.

Loops are a failure state; models should not be designed with intentionally induced loops.
The fail fast should identify and print at least one loop, if not all of them.