I removed the explicit check that loops are contained into each other, because that always happens as soon as the CFG is reducible and no two back edges hit the same header block. An explicit check might have been useful for debugging, but in the same spirit as the VSIR validator it should at least be an opt-in feature.