let
get_init_state pdg =
try
State
.get_init_state (
PI
.get_states pdg)
with
Not_found
->
assert
false