Draft: State lemma for backward compatibility on the interpreter with gas cost
requested to merge guillaume-claret@380-state-lemma-for-backward-compatibility-on-the-interpreter-with-gas-cost into master
WIP. We can add that once we have done the backward compatibility proof assuming that the gas costs are equal.