let empty_state = Pdg_state.empty