IntrWriteArgMem implies nocapture, but this wasn't