Verify https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/tests/pbt_generated/test_carbonated_map/#test_merge_against_list_proof