Detect model spread cycles without over-reporting recursive model-expression aliases

Detect model spread cycles without over-reporting recursive model-expression aliases #28013