Add dump() to DominanceFrontier