/* If it's not a loop nest, we don't want it.
We also don't handle sibling loops properly,
which are loops of the following form:
/* If it's not a loop nest, we don't want it.
We also don't handle sibling loops properly,
which are loops of the following form: