Wouldn't ```ms == isSinkOp!(ms)``` suffice? Or maybe an explicit ```||``` of ```MemoryOrder.rel``` and ```MemoryOrder.seq```?