Module State_dependency_graph.S.G

module G: Graph.Sig.G  with type V.t = State.t 
			and type E.t = State.t * State.t