let test_and_merge_states = State.test_and_merge