module Static:The Static State Dependency Graph. This graph only contains the static states and the dependencies between them. Thus that is a subgraph of the Dynamic State Dependency Graph.sig
..end
include State_dependency_graph.S
include State.Local
val add_state : State.t -> State.t list -> unit