let print_state = Pdg_state.pretty