Inferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version)