added dominance relations