added dominator output for loops