Rename Instruction::hasSideEffects() -> mayWriteToMemory()