Gas-Efficient Smart Contract Design: Quantifying Refactoring Impact on EVM Execution Costs | Synapse