Added support for iteration edges without acyclic regions