Module Dominator.Make.S

module S: Set.S  with type elt = G.V.t