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