Resolve spec -> resolving unordered - unordered dependency cycles

[SwinX]

Section overviews direct (A <- B <- A), indirect (A <- B <- C <- A) and intermediate (A <- B <- C <- B) cases for unordered - unordered dependency cycles.