Remove outdated references to dominance frontiers.