We need to add tests for the gas calculation of the TxSkipSection. The gas refund computation is impacted by call data through the floor price EIP, which is correctly handled in the constraints but was wrongly implemented in the TxSkipSection.This section involves three addresses: sender, recipient and coinbase. We should test all possible combinations of address collisions always with non-empty call data and recipient being an EOA.

Note: This bug does not affect deployments.