Loop structuring fails on the right cases -- loops are detected. All loop tests still fail.