LoopedRandomInstantiationAnalyzer: straightforward detection