sig val ecc_heuristic : Graph.t -> IntSet.t list end