mayWriteToMemory - Return true if this instruction may modify memory.
source not stored for this graph (policy: none)