let test_and_merge_states = Pdg_state.test_and_merge