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