1 files changed, 3 insertions, 1 deletions
diff --git a/Source/GPUVerify/AsymmetricExpressionFinder.cs b/Source/GPUVerify/AsymmetricExpressionFinder.cs
index 40c7eb32..4fb18352 100644
--- a/Source/GPUVerify/AsymmetricExpressionFinder.cs
+++ b/Source/GPUVerify/AsymmetricExpressionFinder.cs
@@ -18,7 +18,9 @@ namespace GPUVerify
         public override Variable VisitVariable(Variable node)
         {
             if (node.TypedIdent.Name.Contains("_READ_HAS_OCCURRED") ||
-                node.TypedIdent.Name.Contains("_READ_OFFSET"))
+                node.TypedIdent.Name.Contains("_READ_OFFSET") ||
+                node.TypedIdent.Name.Contains("_WRITE_HAS_OCCURRED") ||
+                node.TypedIdent.Name.Contains("_WRITE_OFFSET"))
             {
                 found = true;
             }