OK, thank you for the explanation. I thought that it might still be possible if the analysis was limited to only selected parts of a program, eg a single type like my (educational, recreational) implementation of a Float8 type, piggybacking on Float32 for arithmetic operations etc, which turned out to easily end up in unintentional infinite recursion that was both hard to detect and prevent.